Back to pull request #263

simple-io 1.1.0 & QuickChick 2.0.4 #474

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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