mathcomp 2.3.0 #384

Job	Run time
coq	42s
coqide	44s
coq-lsp	39s
coq-record-update	42s
coq-shell	37s
coq-tactical	41s
coqutil	37s
dpdgraph	37s
high-school-geometry	39s
HoTT	39s
LibHyps	38s
itauto	39s
paramcoq	40s
stdlib	44s
vscoq-language-server	45s
zorns-lemma	39s
serapi	39s
aac-tactics	37s
ExtLib	37s
MenhirLib	46s
InfSeqExt	38s
StructTact	41s
bignums	42s
atbr	37s
coq-elpi	38s
ceres	42s
equations	42s
flocq	37s
paco	35s
stalmarck	37s
stdpp	41s
simple-io	37s
Cheerios	40s
hierarchy-builder	37s
ITree	38s
stalmarck-tactic	37s
compcert	43s
gappalib	42s
CoLoR	41s
math-classes	38s
coqprime	36s
parsec	37s
metacoq-utils	38s
iris	43s
mathcomp-ssreflect	38s
corn	42s
json	37s
metacoq-common	38s
autosubst	43s
QuickChick	39s
coquelicot	38s
deriving	38s
mathcomp-bigenough	38s
mathcomp-fingroup	42s
mathcomp-finmap	38s
reglang	38s
relation-algebra	44s
metacoq-pcuic	37s
metacoq-template-coq	36s
extructures	39s
mathcomp-tarjan	43s
interval	40s
mathcomp-algebra	42s
metacoq-safechecker	42s
metacoq-translations	37s
metacoq-template-pcuic	42s
gaia	4m 18s
fourcolor	13m 38s
mathcomp-classical	37s
mathcomp-solvable	44s
mathcomp-word	1m 32s
multinomials	37s
mathcomp-zify	41s
metacoq-erasure	38s
metacoq-safechecker-plugin	41s
metacoq-quotation	37s
mathcomp-reals	39s
mathcomp-field	39s
mathcomp-algebra-tactics	39s
metacoq-erasure-plugin	38s
mathcomp-experimental-reals	42s
mathcomp-reals-stdlib	39s
mathcomp-analysis	38s
mathcomp-real-closed	38s
mathcomp-character	39s
metacoq	37s
mathcomp-analysis-stdlib	38s
ssprove	37s
mathcomp	40s
coqeal	38s
ElmExtraction	37s
mathcomp-infotheo	6m 45s
odd-order	10m 58s
	1h 34m 53s

Provide feedback