coqPackages.smtcoq: fix #779

Run time

Learn about OS pricing on GitHub Actions

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

coqPackages.smtcoq: fix #779

Usage

coqPackages.smtcoq: fix #779

Jobs

Run details

Run time