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