Skip to content
Nix CI for bundle rocq-master

[CI] Update equation (now uses dune) #24

Sign in to view logs

[CI] Update equation (now uses dune)

[CI] Update equation (now uses dune) #24

Run time

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