Nix CI for bundle 8.16-mathcomp2

Forgotten dependency for mathcomp-altreals #393

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
aac-tactics	36s
bbv	41s
bignums	34s
ceres	34s
coq-elpi	40s
coq-ext-lib	1m 3s
coq-hammer-tactics	36s
coqide	41s
coq-record-update	1m 4s
coq-shell	36s
dpdgraph	35s
equations	36s
flocq	35s
high-school-geometry	46s
HoTT	41s
InfSeqExt	34s
itauto	36s
LibHyps	35s
MenhirLib	35s
metalib	38s
paco	34s
paramcoq	36s
pocklington	39s
semantics	35s
serapi	35s
smtcoq	36s
stdpp	35s
StructTact	1m 14s
tlc	34s
zorns-lemma	40s
coqprime	1m 0s
math-classes	56s
CoLoR	55s
trakt	53s
hierarchy-builder	36s
coq-hammer	36s
metacoq-template-coq	46s
gappalib	34s
simple-io	1m 22s
parsec	53s
hydra-battles	34s
ITree	1m 16s
compcert	35s
coq-lsp	37s
iris	35s
topology	1m 5s
Cheerios	53s
mathcomp-ssreflect	40s
corn	41s
goedel	46s
vcfloat	53s
json	36s
iris-named-props	36s
VST	35s
itree-io	1m 18s
metacoq-pcuic	38s
autosubst	1m 3s
category-theory	41s
coquelicot	1m 7s
mathcomp-bigenough	37s
mathcomp-fingroup	37s
mathcomp-finmap	35s
QuickChick	57s
reglang	35s
relation-algebra	41s
Verdi	36s
metacoq-safechecker	35s
mathcomp-tarjan	36s
mathcomp-algebra	39s
async-test	36s
interval	38s
metacoq-erasure	37s
addition-chains	35s
fourcolor	37s
gaia	36s
mathcomp-solvable	34s
mathcomp-word	36s
mathcomp-zify	35s
multinomials	57s
http	36s
metacoq	39s
graph-theory	35s
mathcomp-field	41s
mathcomp-algebra-tactics	35s
mathcomp-character	36s
mathcomp-real-closed	36s
coqeal	41s
mathcomp	36s
	1h 2m 33s