Nix CI for bundle 8.18

coq 8.19.2 #281

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	49s
HoTT	33s
InfSeqExt	36s
LibHyps	31s
StructTact	32s
aac-tactics	33s
ceres	35s
bignums	31s
coq-elpi	32s
coq-ext-lib	33s
coq-record-update	32s
coqide	38s
coq-shell	33s
dpdgraph	36s
equations	31s
flocq	36s
mathcomp-ssreflect	32s
itauto	32s
paco	33s
metalib	32s
paramcoq	35s
pocklington	34s
semantics	33s
serapi	33s
stdpp	33s
vscoq-language-server	39s
zorns-lemma	36s
Cheerios	34s
math-classes	41s
CoLoR	36s
coqprime	33s
parsec	33s
simple-io	34s
hierarchy-builder	34s
metacoq-template-coq	32s
deriving	36s
autosubst	30s
mathcomp-bigenough	36s
mathcomp-fingroup	32s
coquelicot	36s
mathcomp-finmap	33s
reglang	32s
compcert	33s
gappalib	37s
ITree	38s
coq-lsp	37s
iris	33s
topology	31s
Verdi	33s
QuickChick	38s
corn	36s
metacoq-pcuic	37s
extructures	34s
mathcomp-algebra	32s
interval	34s
vcfloat	33s
iris-named-props	35s
VST	16m 33s
addition-chains	32s
fourcolor	33s
gaia	32s
mathcomp-classical	32s
mathcomp-zify	38s
multinomials	37s
mathcomp-solvable	37s
mathcomp-word	33s
metacoq-safechecker	33s
graph-theory	34s
mathcomp-algebra-tactics	32s
metacoq-erasure	32s
mathcomp-field	34s
metacoq	38s
mathcomp-analysis	35s
mathcomp-character	36s
mathcomp-real-closed	34s
mathcomp-infotheo	34s
coqeal	32s
mathcomp	34s
	1h 0m 31s