Add Oriented Matroids Package #15199

Sign in to view logs

Triggered via pull request September 7, 2024 23:39

synchronize #38024

thecaligarmo:oriented_matroids

Status Cancelled

Total duration 8m 6s

Artifacts –

build.yml

on: pull_request

Matrix: test-long

Matrix: test-mod

coverage-report

Annotations

2 errors

Canceling since a higher priority waiting request for 'Build & Test-refs/pull/38024/merge' exists

The operation was canceled.