Nix CI for bundle rocq-9.2

Adapt to rocq-prover/rocq#22271 #249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rocq-core	4m 47s
rocq-elpi	1m 1s
mathcomp-reals	1m 2s
stdlib-html	1m 5s
mathcomp-field	1m 26s
stdlib	3m 58s
mathcomp-algebra	1m 3s
coq	58s
mathcomp-analysis	59s
ExtLib	3m 35s
MenhirLib	1m 53s
argosy	1m 9s
StructTact	1m 1s
coinduction	1m 4s
atbr	1m 6s
aac-tactics	1m 5s
coq-hammer-tactics	1m 26s
InfSeqExt	1m 20s
trakt	1m 49s
bignums	1m 2s
neural-net-coq-interp	1m 23s
flocq	3m 24s
mathcomp-reals-stdlib	1m 3s
coqutil	1m 28s
stalmarck	1m 14s
rocq-lean-import	1m 24s
paramcoq-test	1m 23s
equations	1m 2s
stdpp	59s
waterproof	3m 20s
stdlib-refman-html	1m 3s
dpdgraph-test	59s
paco	1m 2s
Cheerios	1m 1s
simple-io	4m 35s
coq-hammer	1m 9s
stalmarck-tactic	1m 24s
mathcomp-analysis-stdlib	1m 2s
math-classes	59s
coqprime	1m 2s
bignums-test	1m 21s
ITree	1m 0s
	1h 6m 6s