Repository navigation
trajMeasure definition for Mathlib #125
Triggered via pull request
September 16, 2025 09:24
paulorauber
Status
Cancelled
Total duration
2m 45s
Artifacts
–
Annotations
3 errors
|
Build project
The operation was canceled.
|
|
Build project
Canceling since a higher priority waiting request for refs/pull/24/merge exists
|
|
Compile blueprint
Canceling since a higher priority waiting request for refs/pull/24/merge exists
|