try label arrays · oscar-system/OscarDevTools.jl@0119c62

Triggered via pull request October 29, 2024 13:29

benlorenz

opened #43

bl/labels

Status Cancelled

Total duration 1m 49s

Artifacts –

oscar-legacy.yml

on: pull_request

Matrix: test-oscar

4 errors

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

The operation was canceled.

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

The operation was canceled.