Skip to content
Nix CI for bundle coq-master

Update Pull Request template #192

Sign in to view logs

Update Pull Request template

Update Pull Request template #192

Run time

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