Back to pull request #263

simple-io 1.1.0 & QuickChick 2.0.4 #600

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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