Nix CI for bundle 8.19

coqutil 0.0.5/0.0.6 #422

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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