Fix coq-lsp/serapi #680

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix coq-lsp/serapi #680

Usage

Fix coq-lsp/serapi #680

Jobs

Run details

Run time