Nix CI for bundle 8.19

coqPackages.HoTT: 8.19 -> 8.20 #393

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
aac-tactics	36s
bbv	33s
bignums	35s
ceres	38s
HoTT	35s
InfSeqExt	36s
LibHyps	37s
MenhirLib	32s
StructTact	35s
coinduction	33s
coq-elpi	38s
coq-ext-lib	32s
coq-hammer-tactics	38s
coqide	37s
coq-record-update	31s
coq-shell	32s
dpdgraph	33s
equations	35s
flocq	38s
high-school-geometry	32s
itauto	34s
paco	33s
paramcoq	31s
rewriter	33s
serapi	32s
smtcoq	33s
stdpp	38s
vscoq-language-server	33s
zorns-lemma	36s
CoLoR	32s
math-classes	32s
coqprime	31s
Cheerios	34s
hierarchy-builder	36s
coq-hammer	39s
metacoq-template-coq	41s
coq-lsp	34s
compcert	35s
gappalib	33s
iris	34s
ITree	33s
parsec	32s
simple-io	31s
corn	33s
mathcomp-ssreflect	32s
iris-named-props	34s
metacoq-pcuic	37s
json	33s
VST	33s
itree-io	33s
deriving	34s
QuickChick	36s
mathcomp-bigenough	37s
mathcomp-fingroup	33s
mathcomp-finmap	38s
coquelicot	33s
reglang	36s
metacoq-safechecker	33s
extructures	33s
async-test	35s
mathcomp-tarjan	32s
mathcomp-algebra	33s
interval	35s
metacoq-erasure	32s
http	37s
mathcomp-classical	34s
gaia	34s
mathcomp-solvable	33s
mathcomp-word	37s
mathcomp-zify	38s
fourcolor	34s
multinomials	34s
metacoq	34s
vcfloat	35s
graph-theory	33s
mathcomp-field	37s
mathcomp-algebra-tactics	38s
mathcomp-analysis	33s
mathcomp-character	32s
mathcomp-real-closed	32s
mathcomp	42s
mathcomp-infotheo	37s
ssprove	33s
coqeal	40s
	48m 56s