Test coqPackages.mathcomp*: update stdlib dependencies #696

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
autosubst-ocaml	43s
coq-elpi	37s
coqide	44s
coq-lsp	43s
coq-record-update	38s
coq-shell	39s
coq-tactical	39s
coqutil	43s
dpdgraph	38s
high-school-geometry	42s
LibHyps	43s
HoTT	42s
serapi	38s
stdlib	37s
unicoq	37s
vscoq-language-server	1m 24s
paramcoq	38s
zorns-lemma	38s
hierarchy-builder	37s
mtac2	37s
bbv	1m 14s
aac-tactics	43s
ExtLib	37s
bignums	37s
InfSeqExt	38s
MenhirLib	42s
StructTact	37s
ceres	39s
coinduction	39s
flocq	38s
coq-hammer-tactics	39s
itauto	36s
equations	37s
paco	37s
rewriter	42s
smtcoq	38s
stdpp	37s
mathcomp-ssreflect	5m 49s
coqprime	40s
CoLoR	39s
math-classes	38s
simple-io	38s
parsec	38s
coq-hammer	43s
Cheerios	37s
metacoq-utils	38s
gappalib	37s
ITree	42s
iris	37s
compcert	39s
corn	38s
json	38s
metacoq-common	39s
iris-named-props	37s
itree-io	42s
VST	14m 28s
metacoq-pcuic	37s
metacoq-template-coq	42s
coquelicot	6m 29s
deriving	6m 20s
autosubst	5m 58s
mathcomp-bigenough	5m 59s
mathcomp-finmap	6m 26s
mathcomp-fingroup	6m 34s
reglang	6m 9s
QuickChick	6m 19s
relation-algebra	6m 55s
metacoq-safechecker	42s
metacoq-template-pcuic	45s
metacoq-translations	44s
extructures	2m 13s
interval	3m 17s
mathcomp-algebra	5m 50s
mathcomp-tarjan	2m 13s
async-test	1m 25s
metacoq-quotation	38s
metacoq-erasure	42s
metacoq-safechecker-plugin	38s
http	1m 38s
vcfloat	3m 3s
metacoq-erasure-plugin	43s
gaia	7m 45s
fourcolor	17m 3s
mathcomp-classical	8m 10s
mathcomp-solvable	6m 35s
mathcomp-word	5m 25s
mathcomp-zify	5m 30s
multinomials	5m 56s
metacoq	38s
mathcomp-algebra-tactics	1m 37s
mathcomp-field	5m 27s
mathcomp-reals	5m 23s
ElmExtraction	43s
RustExtraction	44s
jasmin	7m 35s
graph-theory	16m 29s
mathcomp-real-closed	5m 14s
mathcomp-character	5m 28s
mathcomp-analysis	18m 19s
mathcomp-experimental-reals	2m 49s
mathcomp-reals-stdlib	2m 30s
coqeal	7m 15s
mathcomp	3m 0s
odd-order	12m 33s
mathcomp-analysis-stdlib	15m 11s
ssprove	24m 24s
mathcomp-infotheo	21m 25s
	5h 53m 30s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Test coqPackages.mathcomp*: update stdlib dependencies #696

Usage

Test coqPackages.mathcomp*: update stdlib dependencies #696

Jobs

Run details

Run time