Skip to content

Update Pull Request template #209

Update Pull Request template

Update Pull Request template #209

Triggered via push October 7, 2024 13:02
Status Cancelled
Total duration 1h 25m 20s
Artifacts
mathcomp-character
5m 22s
mathcomp-character
mathcomp-analysis
13m 6s
mathcomp-analysis
Fit to window
Zoom out
Zoom in

Annotations

6 errors
ITree
Process completed with exit code 1.
hierarchy-builder-test
Process completed with exit code 1.
fiat-crypto
The run was canceled by @proux01.
fiat-crypto
The operation was canceled.
metacoq
The run was canceled by @proux01.
metacoq
The operation was canceled.