Skip to content
Nix CI for bundle rocq-9.0

Add clean in Makefile #79

Sign in to view logs

Add clean in Makefile

Add clean in Makefile #79

Run time

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