Building on doris.caelum.ci.dev
day10 dispatch:
verb : health-check
opam-repository : <default>
opam-repo commit : 8d65b7fdbbdbf4008fe8980234943c3210665f4f
mirror : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
cache-dir : /var/cache/day10
ocaml-version : ocaml.5.3.0
package : coq-lsp.0.2.5+9.1
os-distribution : debian
os-version : 13
with-test : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:8d65b7fdbbdbf4008fe8980234943c3210665f4f' '--ocaml-version' 'ocaml.5.3.0' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'coq-lsp.0.2.5+9.1'
[NOTE] Building cppo.1.8.0
[NOTE] Building dune-build-info.3.23.1
[NOTE] Building jane-street-headers.v0.17.0
[NOTE] Building menhirCST.20260209
[NOTE] Building menhirGLR.20260209
[NOTE] Building menhirLib.20260209
[NOTE] Building menhirSdk.20260209
[NOTE] Building ocaml-syntax-shims.1.0.0
[NOTE] Building re.1.14.0
[NOTE] Building stringext.1.6.0
[NOTE] Building dune-configurator.3.23.1
[NOTE] Building memprof-limits.0.3.0
[NOTE] Building menhir.20260209
[NOTE] Building parsexp.v0.17.0
[NOTE] Building ppxlib.0.38.0
[NOTE] Building bigstringaf.0.10.0
[NOTE] Building ppx_deriving.6.1.2
[NOTE] Building ppx_import.1.12.0
[NOTE] Building ppxlib_jane.v0.17.4
[NOTE] Building rocq-runtime.9.1.1
[NOTE] Building sexplib.v0.17.0
[NOTE] Building tyxml.4.6.0
[NOTE] Building angstrom.0.16.1
[NOTE] Building ppx_cold.v0.17.0
[NOTE] Building ppx_compare.v0.17.0
[NOTE] Building ppx_deriving_yojson.3.10.0
[NOTE] Building ppx_enumerate.v0.17.0
[NOTE] Building ppx_globalize.v0.17.2
[NOTE] Building ppx_here.v0.17.0
[NOTE] Building ppx_sexp_conv.v0.17.1
[NOTE] Building rocq-core.9.1.1
[NOTE] Building stdio.v0.17.0
[NOTE] Building ppx_assert.v0.17.0
[NOTE] Building ppx_hash.v0.17.0
[NOTE] Building ppx_optcomp.v0.17.1
[NOTE] Building uri.4.4.0
[NOTE] Building jst-config.v0.17.0
[NOTE] Building ppx_base.v0.17.0
[NOTE] Building time_now.v0.17.0
[NOTE] Building ppx_inline_test.v0.17.1
[NOTE] Building coq-lsp.0.2.5+9.1
[NOTE] success
Job succeeded
Home|Differences with the last checks|Previous runs