coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #718

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #718

Usage

coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #718

Jobs

Run details

Run time