Skip to content

Add Oriented Matroids Package #17514

Add Oriented Matroids Package

Add Oriented Matroids Package #17514

Triggered via pull request January 1, 2025 19:40
Status Cancelled
Total duration 2m 18s
Artifacts

build.yml

on: pull_request
Matrix: test-long
Matrix: test-mod
coverage-report
0s
coverage-report
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
test-new
Canceling since a higher priority waiting request for 'Build & Test-refs/pull/38024/merge' exists
test-new
The operation was canceled.
test-new
The process '/usr/bin/git' failed with exit code 128
test-new
fatal: no submodule mapping found in .gitmodules for path 'subprojects/factory'