Back to pull request #279

Forgotten dependency for mathcomp-altreals #651

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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