Skip to content

Update Pull Request template #177

Update Pull Request template

Update Pull Request template #177

Triggered via push September 28, 2024 10:41
Status Failure
Total duration 1h 43m 55s
Artifacts
mathcomp-character
3m 54s
mathcomp-character
mathcomp-analysis
10m 32s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq-tools
Process completed with exit code 1.