Nix CI for bundle 8.19

coqPackages.HoTT: 8.19 -> 8.20 #394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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