Nix CI for bundle 8.20

Add mathcomp-2 on Coq 8.20 #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
aac-tactics	33s
LibHyps	31s
InfSeqExt	35s
bignums	35s
ceres	33s
coq-elpi	1m 39s
coq-ext-lib	31s
coq-record-update	36s
coq-shell	36s
StructTact	36s
coqide	34s
mathcomp-ssreflect	32s
paco	33s
paramcoq	32s
zorns-lemma	33s
math-classes	32s
coqprime	33s
CoLoR	32s
parsec	31s
deriving	31s
mathcomp-bigenough	32s
mathcomp-finmap	37s
mathcomp-fingroup	32s
reglang	32s
ITree	31s
Cheerios	31s
hierarchy-builder	1m 43s
corn	4m 1s
extructures	35s
mathcomp-algebra	33s
fourcolor	1s
mathcomp-solvable	1s
mathcomp-word	1s
mathcomp-zify	1s
multinomials	1s
mathcomp-field	1s
mathcomp-character	1s
mathcomp	1s
	22m 57s