Nix CI for bundle rocq-9.2

Rewrite Vector using list and small inversions #33

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	1m 9s
stdlib-warnings	2m 50s
stdlib	4m 16s
coq	1m 17s
rocq-elpi	1m 52s
unicoq	1m 13s
coq-elpi	2m 23s
hierarchy-builder	3m 9s
MenhirLib	2m 48s
argosy	1m 50s
atbr	2m 22s
StructTact	1m 34s
InfSeqExt	1m 29s
aac-tactics	1m 32s
smtcoq	2m 4s
neural-net-coq-interp	2m 9s
flocq	2m 53s
kami	1m 40s
stdpp	3m 16s
paco	1m 40s
ceres	1m 32s
mtac2	1m 58s
bbv	1m 42s
stalmarck	1m 55s
coqutil	2m 34s
bignums	1m 51s
coinduction	1m 36s
ExtLib	1m 40s
paramcoq-test	1m 39s
rocq-lean-import	1m 46s
equations	1m 47s
stdlib-refman-html	4m 33s
rocq-elpi-test	2m 27s
dpdgraph-test	1m 32s
tlc	2m 3s
coq-hammer-tactics	1m 35s
waterproof	2m 43s
mathcomp-boot	3m 10s
Cheerios	1m 48s
stalmarck-tactic	2m 21s
bignums-test	1m 28s
coqprime	2m 19s
math-classes	2m 26s
coq-hammer	1m 31s
ITree	3m 13s
parsec	1m 38s
simple-io	1m 31s
mathcomp-order	3m 27s
coquelicot	1m 49s
mathcomp-bigenough	1m 40s
mathcomp-finmap	2m 34s
relation-algebra	2m 47s
mathcomp-fingroup	2m 57s
autosubst	2m 2s
QuickChick	3m 11s
itree-io	2m 55s
json	3m 25s
mathcomp-ssreflect	4m 47s
mathcomp-algebra	8m 42s
quickchick-test	3m 47s
async-test	3m 56s
deriving	2m 25s
Verdi	2m 22s
http	3m 11s
mathcomp-classical	8m 8s
fcsl-pcm	8m 21s
mathcomp-solvable	7m 22s
mathcomp-zify	9m 4s
mathcomp-word	7m 16s
mathcomp-field	7m 52s
mathcomp-reals	2m 34s
mathcomp-algebra-tactics	3m 33s
mathcomp-reals-stdlib	3m 10s
mathcomp-analysis	20m 5s
mathcomp-character	7m 8s
mathcomp	3m 56s
mathcomp-analysis-stdlib	16m 52s
	4h 21m 2s