Nix CI for bundle 8.17

ElmExtraction #565

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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