Nix CI for bundle 8.18

coqutil 0.0.5/0.0.6 #502

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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