Skip to content

fixing CI dependencies #175

fixing CI dependencies

fixing CI dependencies #175

Triggered via push September 26, 2024 13:12
Status Failure
Total duration 1h 47m 58s
Artifacts
mathcomp-character
5m 34s
mathcomp-character
mathcomp-analysis
12m 53s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

3 errors
coq-tools
Process completed with exit code 1.
stdlib-test
Process completed with exit code 1.
rupicola
Process completed with exit code 1.