Nix CI for bundle rocq-9.2

[CI] Update Nix toolbox #41

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	1m 9s
stdlib-warnings	3m 59s
coq	57s
stdlib	4m 27s
rocq-elpi	1m 3s
unicoq	54s
hierarchy-builder	55s
mathcomp-boot	57s
atbr	8m 41s
StructTact	1m 25s
ExtLib	1m 44s
InfSeqExt	1m 20s
aac-tactics	1s
bignums	1m 40s
argosy	1m 44s
dpdgraph-test	1s
MenhirLib	10s
paco	1m 12s
kami	8m 41s
bbv	49s
stdpp	1m 3s
stalmarck	8m 41s
equations	1s
mtac2	8m 41s
coqutil	1s
tlc	1s
rocq-lean-import	1m 50s
deriving	47s
stdlib-refman-html	1s
ceres	8m 41s
neural-net-coq-interp	8m 41s
paramcoq-test	1s
rocq-elpi-test	1s
coq-hammer-tactics	8m 41s
flocq	1s
coinduction	1s
smtcoq	1s
waterproof	1s
mathcomp-algebra	-1s
mathcomp-order	-1s
mathcomp-algebra-tactics	-1s
mathcomp-analysis	-1s
mathcomp-fingroup	-1s
coquelicot	-1s
mathcomp-bigenough	-1s
autosubst	-1s
mathcomp-word	-1s
mathcomp-zify	-1s
mathcomp-finmap	-2s
mathcomp-classical	-2s
mathcomp-field	-2s
fcsl-pcm	-2s
mathcomp-solvable	-2s
mathcomp	-1s
mathcomp-reals	-2s
mathcomp-character	-2s
mathcomp-reals-stdlib	-2s
mathcomp-analysis-stdlib	-1s
simple-io	1s
coqprime	3m 12s
math-classes	3m 12s
bignums-test	3m 12s
Cheerios	1s
relation-algebra	1s
parsec	1s
coq-hammer	1s
QuickChick	1s
quickchick-test	1s
Verdi	1s
stalmarck-tactic	1s
json	1s
ITree	1s
itree-io	1s
http	1s
async-test	1s
	1h 38m 26s