Back to pull request #275

coqutil 0.0.5/0.0.6 #220

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
HoTT	36s
InfSeqExt	35s
LibHyps	38s
aac-tactics	39s
bignums	35s
atbr	37s
ceres	33s
coq-elpi	38s
coq-ext-lib	37s
coqide	42s
coq-lsp	1m 34s
coq-record-update	38s
coq-shell	35s
equations	34s
flocq	38s
high-school-geometry	35s
itauto	38s
MenhirLib	36s
paco	35s
StructTact	36s
stalmarck	36s
vscoq-language-server	1m 29s
paramcoq	38s
zorns-lemma	41s
coqprime	2m 37s
CoLoR	35s
math-classes	1m 26s
hierarchy-builder	36s
simple-io	1m 18s
parsec	35s
metacoq-template-coq	35s
gappalib	34s
compcert	35s
ITree	4m 37s
stalmarck-tactic	1m 22s
Cheerios	1m 44s
serapi	2m 28s
mathcomp-ssreflect	34s
json	59s
metacoq-pcuic	33s
corn	2m 2s
coquelicot	36s
deriving	2m 24s
mathcomp-bigenough	2m 7s
autosubst	2m 41s
mathcomp-fingroup	35s
mathcomp-finmap	36s
QuickChick	1m 10s
reglang	35s
metacoq-safechecker	35s
mathcomp-algebra	35s
interval	37s
mathcomp-tarjan	41s
metacoq-erasure	35s
extructures	39s
mathcomp-classical	38s
fourcolor	36s
mathcomp-solvable	37s
gaia	36s
mathcomp-word	35s
mathcomp-zify	35s
multinomials	35s
metacoq	36s
mathcomp-field	34s
mathcomp-algebra-tactics	35s
ElmExtraction	36s
mathcomp-real-closed	36s
mathcomp-character	35s
mathcomp-analysis	34s
mathcomp	40s
coqeal	37s
	1h 4m 19s