Nix CI for bundle 8.17

gappalib, itauto & serapi for Coq 8.20 #564

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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