Nix CI for bundle 8.20

Forgotten dependency for mathcomp-altreals #244

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
aac-tactics	52s
atbr	51s
bignums	45s
coq-elpi	34s
ceres	38s
coq-ext-lib	34s
coqide	1m 21s
coq-lsp	1m 20s
coq-record-update	33s
coq-shell	33s
coqutil	34s
equations	1m 13s
flocq	1m 13s
high-school-geometry	33s
HoTT	57s
InfSeqExt	39s
itauto	52s
LibHyps	34s
MenhirLib	34s
paco	36s
paramcoq	34s
stalmarck	35s
StructTact	49s
vscoq-language-server	52s
zorns-lemma	48s
math-classes	44s
coqprime	35s
CoLoR	1m 13s
hierarchy-builder	1m 9s
simple-io	32s
parsec	34s
stalmarck-tactic	55s
ITree	33s
serapi	33s
Cheerios	49s
metacoq-template-coq	33s
gappalib	39s
compcert	48s
corn	42s
json	47s
metacoq-pcuic	35s
mathcomp-ssreflect	34s
metacoq-safechecker	37s
autosubst	34s
coquelicot	33s
deriving	34s
mathcomp-bigenough	35s
mathcomp-fingroup	34s
mathcomp-finmap	35s
QuickChick	33s
reglang	34s
relation-algebra	34s
metacoq-erasure	34s
extructures	35s
mathcomp-algebra	35s
interval	39s
mathcomp-tarjan	38s
metacoq	37s
gaia	36s
fourcolor	34s
mathcomp-classical	38s
mathcomp-word	35s
mathcomp-solvable	33s
mathcomp-zify	38s
multinomials	35s
ElmExtraction	54s
mathcomp-field	52s
mathcomp-reals	33s
mathcomp-algebra-tactics	34s
mathcomp-altreals	1m 10s
mathcomp-reals-stdlib	54s
mathcomp-analysis	47s
mathcomp-character	48s
mathcomp-real-closed	33s
coqeal	1m 23s
mathcomp-infotheo	6m 35s
mathcomp	1m 10s
mathcomp-analysis-stdlib	35s
	1h 2m 39s