Nix CI for bundle 8.19

CompCert for Coq 8.20 #395

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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