Nix CI for bundle 8.18

coqutil 0.0.5/0.0.6 #501

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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