Nix CI for bundle 8.19

Merge pull request #278 from proux01/coq-mathcomp-analysis-reals #443

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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