Nix CI for bundle 8.18

coqutil 0.0.5/0.0.6 #505

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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