Skip to content

Update Pull Request template #200

Update Pull Request template

Update Pull Request template #200

Triggered via push October 6, 2024 15:01
Status Failure
Total duration 1h 49m 23s
Artifacts
mathcomp-character
3m 48s
mathcomp-character
mathcomp-analysis
11m 24s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

3 errors
coq-tools
Process completed with exit code 1.
ITree
Process completed with exit code 1.
hierarchy-builder-test
Process completed with exit code 1.