Nix CI for bundle rocq-9.2

Merge pull request #245 from mattam82/fix-sint63-link #37

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
stdlib-warnings	1m 8s
rocq-core	1m 6s
stdlib	1m 6s
rocq-elpi	1m 39s
coq	1m 5s
bignums	1m 7s
stdlib-refman-html	2m 26s
InfSeqExt	1m 9s
ExtLib	1m 6s
StructTact	1m 37s
atbr	1m 13s
aac-tactics	1m 8s
MenhirLib	2m 15s
dpdgraph-test	1m 6s
argosy	1m 8s
paco	1m 7s
coq-hammer-tactics	1m 11s
neural-net-coq-interp	1m 14s
waterproof	1m 11s
stdpp	1m 33s
tlc	1m 7s
coinduction	1m 17s
smtcoq	1m 11s
coqutil	1m 58s
bbv	1m 7s
paramcoq-test	1m 8s
kami	1m 19s
unicoq	1m 10s
ceres	1m 6s
flocq	1m 12s
rocq-lean-import	1m 10s
stalmarck	1m 7s
equations	1m 2s
coqprime	1m 19s
math-classes	1m 5s
bignums-test	1m 6s
rocq-elpi-test	0s
coq-elpi	0s
hierarchy-builder	-1s
mathcomp-boot	-1s
mathcomp-order	-1s
autosubst	-1s
mathcomp-finmap	-1s
coquelicot	-1s
mathcomp-algebra	0s
mathcomp-bigenough	-1s
mathcomp-fingroup	-1s
mathcomp-classical	0s
mathcomp-ssreflect	0s
mathcomp-word	0s
mathcomp-zify	0s
deriving	0s
fcsl-pcm	0s
mathcomp-solvable	0s
mathcomp-reals	0s
mathcomp-field	0s
mathcomp-algebra-tactics	0s
mathcomp-analysis	0s
mathcomp-character	0s
mathcomp-reals-stdlib	0s
mathcomp-analysis-stdlib	0s
mathcomp	-1s
simple-io	1m 11s
parsec	1m 13s
Cheerios	1m 8s
mtac2	1m 6s
ITree	1m 21s
coq-hammer	1m 5s
relation-algebra	-1s
stalmarck-tactic	1m 13s
QuickChick	0s
quickchick-test	-1s
json	2m 51s
Verdi	0s
itree-io	1m 10s
async-test	0s
http	0s
	58m 6s