Test coqPackages.mathcomp*: update stdlib dependencies #773

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Test coqPackages.mathcomp*: update stdlib dependencies #773

Usage

Test coqPackages.mathcomp*: update stdlib dependencies #773

Jobs

Run details

Run time