Nix CI for bundle 8.19

mathcomp-analysis 1.4.0 #401

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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