Nix CI for bundle 8.17

coqutil 0.0.5/0.0.6 #629

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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