Nix CI for bundle 8.20

equations: 1.3.1 for Coq 8.20 #31

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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