Skip to content

Update Pull Request template #204

Update Pull Request template

Update Pull Request template #204

Triggered via push October 6, 2024 21:48
Status Cancelled
Total duration 16m 6s
Artifacts
metacoq-safechecker
0s
metacoq-safechecker
mathcomp-fingroup
0s
mathcomp-fingroup
QuickChick
0s
QuickChick
autosubst
0s
autosubst
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
relation-algebra
0s
relation-algebra
category-theory
0s
category-theory
coquelicot
0s
coquelicot
deriving
0s
deriving
rupicola
0s
rupicola
metacoq-erasure
0s
metacoq-erasure
mathcomp-algebra
0s
mathcomp-algebra
async-test
0s
async-test
quickchick-test
0s
quickchick-test
VerdiRaft
0s
VerdiRaft
iris-examples
0s
iris-examples
fiat-crypto
0s
fiat-crypto
metacoq
0s
metacoq
mathcomp-solvable
0s
mathcomp-solvable
mathcomp-classical
0s
mathcomp-classical
mathcomp-word
0s
mathcomp-word
fourcolor
0s
fourcolor
mathcomp-zify
0s
mathcomp-zify
fcsl-pcm
0s
fcsl-pcm
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

27 errors
ITree
Process completed with exit code 1.
corn
The run was canceled by @proux01.
corn
The operation was canceled.
hierarchy-builder-test
The run was canceled by @proux01.
hierarchy-builder-test
The operation was canceled.
smtcoq-trakt
The run was canceled by @proux01.
smtcoq-trakt
The operation was canceled.
CoLoR
The run was canceled by @proux01.
CoLoR
The operation was canceled.
mathcomp-ssreflect
The run was canceled by @proux01.
mathcomp-ssreflect
The operation was canceled.
riscvcoq
The run was canceled by @proux01.
riscvcoq
The operation was canceled.
metacoq-pcuic
The run was canceled by @proux01.
metacoq-pcuic
The operation was canceled.
fiat-crypto-legacy
The run was canceled by @proux01.
fiat-crypto-legacy
The operation was canceled.
vst
The run was canceled by @proux01.
vst
The operation was canceled.
compcert
The run was canceled by @proux01.
compcert
The operation was canceled.
iris
The run was canceled by @proux01.
iris
The operation was canceled.
coq-performance-tests
The run was canceled by @proux01.
coq-performance-tests
The operation was canceled.
perennial
The run was canceled by @proux01.
perennial
The operation was canceled.