Repository navigation
trajMeasure definition for Mathlib #120
Triggered via pull request
September 16, 2025 08:54
paulorauber
Status
Failure
Total duration
2m 50s
Artifacts
–
Annotations
1 error
|
Build project
Process completed with exit code 1.
|