Nix CI for bundle 8.17

ElmExtraction #568

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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