Skip to content
Nix CI for bundle coq-master

Update Pull Request template #134

Sign in to view logs

Update Pull Request template

Update Pull Request template #134

Run time

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