Nix CI for bundle 8.17

ElmExtraction #566

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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