Nix CI for bundle 8.17

mathcomp-analysis 1.5.0 #624

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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