Nix CI for bundle 8.19

Forgotten dependency for mathcomp-altreals #446

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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