Nix CI for bundle 8.18

coqutil 0.0.5/0.0.6 #503

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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