Skip to content

Update Pull Request template #195

Update Pull Request template

Update Pull Request template #195

Triggered via push October 3, 2024 11:02
Status Failure
Total duration 2h 31m 58s
Artifacts
mathcomp-character
5m 35s
mathcomp-character
mathcomp-analysis
13m 1s
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.