Nix CI for bundle 8.17

stdpp 1.11; iris 4.3 #660

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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