Skip to content

Update Pull Request template #211

Update Pull Request template

Update Pull Request template #211

Triggered via push October 8, 2024 13:34
Status Failure
Total duration 1h 52m 49s
Artifacts
mathcomp-character
3m 58s
mathcomp-character
mathcomp-analysis
10m 33s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
json
Process completed with exit code 1.
ITree
Process completed with exit code 1.