Skip to content

Update Pull Request template #203

Update Pull Request template

Update Pull Request template #203

Triggered via push October 6, 2024 21:21
Status Cancelled
Total duration 20m 57s
Artifacts
metacoq-test
0s
metacoq-test
mathcomp-field
0s
mathcomp-field
mathcomp-character
0s
mathcomp-character
mathcomp-analysis
0s
mathcomp-analysis
mathcomp
0s
mathcomp
odd-order
0s
odd-order
mathcomp-test
0s
mathcomp-test
Fit to window
Zoom out
Zoom in

Annotations

22 errors
hierarchy-builder-test
Process completed with exit code 1.
ITree
Process completed with exit code 1.
mathcomp-word
The run was canceled by @proux01.
mathcomp-word
The operation was canceled.
fiat-crypto-legacy
The run was canceled by @proux01.
fiat-crypto-legacy
The operation was canceled.
fourcolor
The run was canceled by @proux01.
fourcolor
The operation was canceled.
mathcomp-solvable
The run was canceled by @proux01.
mathcomp-solvable
The operation was canceled.
mathcomp-zify
The run was canceled by @proux01.
mathcomp-zify
The operation was canceled.
fcsl-pcm
The run was canceled by @proux01.
fcsl-pcm
The operation was canceled.
vst
The run was canceled by @proux01.
vst
The operation was canceled.
mathcomp-classical
The run was canceled by @proux01.
mathcomp-classical
The operation was canceled.
bedrock2
The run was canceled by @proux01.
bedrock2
The operation was canceled.
metacoq-pcuic
The run was canceled by @proux01.
metacoq-pcuic
The operation was canceled.