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-julia.yml

on: pull_request

Matrix: test-oscar

6 errors

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

The operation was canceled.

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

The operation was canceled.

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

The operation was canceled.