Nix CI for bundle 8.17

coqutil 0.0.5/0.0.6 (#275) #635

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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