OscarCI (merge)

try label arrays #97

# to view logs

Triggered via pull request October 29, 2024 13:29

benlorenz

opened #43

bl/labels

Status Cancelled

Total duration 1m 48s

Artifacts –

oscar-merge.yml

on: pull_request

Matrix: test-oscar

Annotations

2 errors

Polymake#oscarci/testbranch/dontdelete,Oscar#master - ubuntu-latest, julia ~1.6.0-0

Canceling since a higher priority waiting request for 'OscarCI (merge)-refs/pull/43/merge-true' exists

Polymake#oscarci/testbranch/dontdelete,Oscar#master - ubuntu-latest, julia ~1.6.0-0

The operation was canceled.