Repository navigation
trajMeasure definition for Mathlib #116
Triggered via pull request
September 15, 2025 12:42
paulorauber
Status
Failure
Total duration
2m 23s
Artifacts
–
Annotations
1 error
|
Build project
Process completed with exit code 1.
|