Back to pull request #266

elpi refactoring #596

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
aac-tactics	36s
bbv	36s
bignums	34s
ceres	34s
coq-elpi	39s
coq-ext-lib	33s
HoTT	34s
InfSeqExt	36s
LibHyps	35s
MenhirLib	33s
StructTact	35s
coq-hammer-tactics	37s
coqide	35s
coq-record-update	39s
coq-shell	33s
dpdgraph	34s
equations	34s
flocq	33s
high-school-geometry	33s
itauto	38s
metalib	34s
paco	40s
paramcoq	33s
pocklington	39s
rewriter	34s
semantics	37s
serapi	37s
smtcoq	35s
stdpp	34s
zorns-lemma	35s
CoLoR	37s
math-classes	34s
coqprime	34s
simple-io	35s
parsec	36s
gappalib	35s
coq-hammer	36s
metacoq-template-coq	34s
trakt	34s
hierarchy-builder	35s
compcert	34s
iris	33s
ITree	34s
topology	36s
Cheerios	36s
coq-lsp	34s
corn	36s
json	36s
metacoq-pcuic	34s
mathcomp-ssreflect	38s
iris-named-props	35s
vcfloat	36s
VST	38s
itree-io	33s
metacoq-safechecker	34s
Verdi	37s
autosubst	35s
category-theory	34s
coquelicot	35s
deriving	35s
QuickChick	33s
mathcomp-bigenough	35s
mathcomp-fingroup	38s
mathcomp-finmap	35s
reglang	34s
relation-algebra	36s
metacoq-erasure	37s
async-test	34s
extructures	38s
interval	2m 43s
mathcomp-algebra	35s
mathcomp-tarjan	40s
metacoq	38s
http	35s
gaia	3m 58s
mathcomp-classical	34s
fourcolor	38s
addition-chains	2m 4s
mathcomp-solvable	33s
mathcomp-word	33s
mathcomp-zify	34s
multinomials	34s
ElmExtraction	35s
mathcomp-field	38s
graph-theory	39s
mathcomp-algebra-tactics	37s
mathcomp-character	36s
mathcomp-analysis	33s
mathcomp-real-closed	34s
coqeal	38s
mathcomp	34s
mathcomp-infotheo	38s
	1h 1m 47s