Back to pull request #279

Forgotten dependency for mathcomp-altreals #447

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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