Nix CI for bundle 8.17

coqutil 0.0.5/0.0.6 #634

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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