Nix CI for bundle 8.17

coqPackages.json: 0.1.3 -> 0.2.0 #627

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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