Nix CI for bundle rocq-9.0

dune generate unsorted All.v #574

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
stdlib-warnings	3m 57s
rocq-core	1m 1s
stdlib	3m 59s
coq	1m 2s
rocq-elpi	1m 36s
unicoq	1m 2s
coq-elpi	1m 20s
hierarchy-builder	1m 4s
ceres	1m 27s
InfSeqExt	1m 21s
bignums	1m 41s
atbr	2m 21s
bbv	1m 24s
aac-tactics	1m 28s
coq-hammer-tactics	1m 23s
ExtLib	1m 33s
MenhirLib	2m 45s
stdlib-refman-html	3m 52s
coqutil	2m 17s
neural-net-coq-interp	2m 3s
StructTact	1m 34s
equations	1m 28s
stdpp	2m 41s
mtac2	1m 55s
smtcoq	1m 58s
flocq	2m 37s
paco	1m 41s
waterproof	2m 1s
kami	4m 34s
argosy	1m 47s
rocq-lean-import	1m 49s
paramcoq-test	1m 31s
rocq-elpi-test	2m 8s
coinduction	1m 30s
tlc	1m 44s
dpdgraph-test	1m 30s
stalmarck	1m 40s
mathcomp-boot	1m 3s
math-classes	2m 24s
coqprime	2m 21s
bignums-test	1m 30s
simple-io	1m 24s
parsec	1m 29s
ITree	3m 3s
coq-hammer	1m 30s
Cheerios	1m 28s
metarocq-utils	1m 49s
coquelicot	2m 14s
relation-algebra	2m 41s
mathcomp-finmap	1m 7s
mathcomp-fingroup	1m 17s
mathcomp-order	1m 10s
autosubst	1m 40s
mathcomp-bigenough	1m 6s
stalmarck-tactic	1m 29s
QuickChick	1m 58s
json	2m 46s
itree-io	2m 4s
metarocq-common	2m 2s
mathcomp-ssreflect	1m 6s
mathcomp-algebra	1m 12s
quickchick-test	3m 9s
async-test	3m 15s
deriving	2m 10s
Verdi	2m 10s
fcsl-pcm	3m 35s
mathcomp-classical	1m 7s
mathcomp-word	2m 6s
mathcomp-solvable	1m 8s
mathcomp-zify	2m 17s
metarocq-template-rocq	2m 42s
http	3m 50s
mathcomp-reals	1m 2s
mathcomp-field	1m 5s
mathcomp-algebra-tactics	3m 49s
metarocq-translations	1m 36s
mathcomp-reals-stdlib	1m 55s
mathcomp-character	1m 3s
mathcomp-analysis	17m 26s
mathcomp	1m 9s
mathcomp-analysis-stdlib	2m 54s
	2h 54m 5s