Skip to content

Update Pull Request template #192

Update Pull Request template

Update Pull Request template #192

Re-run triggered October 2, 2024 14:06
Status Failure
Total duration 23m 39s
Artifacts
mathcomp-character
5m 26s
mathcomp-character
mathcomp-analysis
14m 36s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

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