Nix CI for bundle 8.19

Forgotten dependency for mathcomp-altreals #444

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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