Nix CI for bundle 8.17

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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