Skip to content
Nix CI for bundle coq-master

Update Pull Request template #131

Sign in to view logs

Update Pull Request template

Update Pull Request template #131

Run time

Learn about OS pricing on GitHub Actions
Job Run time
stdlib-refman-html
4m 2s
stdlib-refman-html
4m 2s
smtcoq-trakt
4m 53s
smtcoq-trakt
4m 53s
stdlib-html
3m 58s
stdlib-html
3m 58s
coq
1m 6s
coq
1m 6s
stdlib-subcomponents
4m 20s
stdlib-subcomponents
4m 20s
stdlib-test
6m 24s
stdlib-test
6m 24s
stdlib
3m 52s
stdlib
3m 52s
bbv
1m 55s
bbv
1m 55s
atbr
2m 39s
atbr
2m 39s
argosy
2m 9s
argosy
2m 9s
aac-tactics
1m 52s
aac-tactics
1m 52s
bignums
2m 12s
bignums
2m 12s
ceres
1m 49s
ceres
1m 49s
coinduction
1m 56s
coinduction
1m 56s
coq-elpi
1m 6s
coq-elpi
1m 6s
coq-ext-lib
1m 59s
coq-ext-lib
1m 59s
coq-hammer-tactics
1m 50s
coq-hammer-tactics
1m 50s
coq-performance-tests
16m 23s
coq-performance-tests
16m 23s
coq-tools
1m 52s
coq-tools
1m 54s
coqutil
2m 36s
coqutil
2m 36s
dpdgraph-test
1m 53s
dpdgraph-test
1m 53s
cross-crypto
6m 30s
cross-crypto
6m 30s
equations
1m 55s
equations
1m 55s
engine-bench
5m 43s
engine-bench
5m 43s
flocq
3m 0s
flocq
3m 0s
InfSeqExt
1m 47s
InfSeqExt
1m 47s
itauto
3m 7s
itauto
3m 7s
kami
4m 32s
kami
4m 32s
MenhirLib
2m 7s
MenhirLib
2m 7s
neural-net-coq-interp
2m 23s
neural-net-coq-interp
2m 23s
paco
2m 1s
paco
2m 1s
paramcoq-test
1m 58s
paramcoq-test
1m 58s
perennial
12m 21s
perennial
12m 21s
rewriter
6m 20s
rewriter
6m 20s
sf
3m 32s
sf
3m 32s
smtcoq
2m 24s
smtcoq
2m 24s
stalmarck
1m 57s
stalmarck
1m 57s
stdpp
2m 45s
stdpp
2m 45s
tlc
2m 12s
tlc
2m 12s
StructTact
1m 52s
StructTact
1m 52s
waterproof
2m 16s
waterproof
2m 16s
trakt
1m 9s
trakt
1m 9s
hierarchy-builder
1m 59s
hierarchy-builder
1m 59s
coq-elpi-test
2m 53s
coq-elpi-test
2m 53s
coq-hammer
1m 55s
coq-hammer
1m 55s
equations-test
2m 38s
equations-test
2m 38s
metacoq-template-coq
3m 38s
metacoq-template-coq
3m 55s
parsec
2m 2s
parsec
2m 2s
simple-io
1m 52s
simple-io
1m 52s
coqprime
3m 6s
coqprime
3m 6s
math-classes
3m 1s
math-classes
3m 1s
bignums-test
2m 11s
bignums-test
2m 11s
CoLoR
7m 11s
CoLoR
7m 11s
riscvcoq
7m 22s
riscvcoq
7m 22s
vst
16m 44s
vst
16m 44s
stalmarck-tactic
2m 3s
stalmarck-tactic
2m 3s
ITree
3m 33s
ITree
3m 33s
compcert
6m 4s
compcert
6m 4s
Cheerios
1m 57s
Cheerios
1m 57s
iris
6m 37s
iris
6m 37s
hierarchy-builder-test
2m 24s
hierarchy-builder-test
2m 24s
mathcomp-ssreflect
3m 54s
mathcomp-ssreflect
3m 54s
json
2m 24s
json
2m 24s
metacoq-pcuic
0s
metacoq-pcuic
12m 40s
metacoq-safechecker
0s
metacoq-safechecker
7m 8s
metacoq-erasure
0s
metacoq-erasure
13m 39s
metacoq
0s
metacoq
13m 10s
corn
8m 14s
corn
8m 14s
itree-io
3m 24s
itree-io
3m 24s
category-theory
7m 21s
category-theory
7m 21s
autosubst
1m 55s
autosubst
1m 55s
deriving
2m 21s
deriving
2m 21s
coquelicot
2m 31s
coquelicot
2m 31s
mathcomp-bigenough
1m 59s
mathcomp-bigenough
1m 59s
mathcomp-fingroup
2m 43s
mathcomp-fingroup
2m 43s
QuickChick
2m 26s
QuickChick
2m 26s
mathcomp-finmap
2m 5s
mathcomp-finmap
2m 5s
relation-algebra
3m 3s
relation-algebra
3m 3s
Verdi
2m 37s
Verdi
2m 37s
iris-examples
9m 24s
iris-examples
9m 24s
quickchick-test
3m 7s
quickchick-test
3m 7s
async-test
3m 3s
async-test
3m 3s
VerdiRaft
6m 53s
VerdiRaft
6m 53s
mathcomp-algebra
4m 32s
mathcomp-algebra
4m 32s
bedrock2
28m 9s
bedrock2
28m 9s
http
2m 44s
http
2m 44s
fourcolor
14m 2s
fourcolor
14m 2s
mathcomp-word
2m 22s
mathcomp-word
2m 22s
mathcomp-classical
3m 28s
mathcomp-classical
3m 28s
mathcomp-solvable
3m 38s
mathcomp-solvable
3m 38s
mathcomp-zify
2m 30s
mathcomp-zify
2m 30s
jasmin
8m 8s
jasmin
8m 8s
mathcomp-field
5m 33s
mathcomp-field
5m 33s
mathcomp-character
5m 30s
mathcomp-character
5m 30s
mathcomp-analysis
12m 59s
mathcomp-analysis
12m 59s
mathcomp
4m 9s
mathcomp
4m 9s
mathcomp-test
2m 2s
mathcomp-test
2m 2s
odd-order
10m 57s
odd-order
10m 57s
rupicola
21m 21s
rupicola
21m 21s
fiat-crypto
49m 53s
fiat-crypto
49m 53s
16h 33m 12s