Build:
- 0
2026-10-23 11:13.57: New job: build vsrocq-language-server.2.5.1 (912c099f128a) 2026-10-23 11:13.57: [profile full] build vsrocq-language-server.2.5.1 2026-10-23 11:14.06: build vsrocq-language-server.2.5.1 (912c099f128a) === DEPENDENCIES (46 transitive) === base.v0.17.3 085065af1441 base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 conf-gmp.5 d0211a82c71f conf-linux-libc-dev.0 5ada59924ba9 conf-pkg-config.5 26be2768a637 cppo.1.8.0 b9b82b46f7a4 csexp.1.5.2 cf465e67af56 dune.3.24.2 bbee9b07c43d dune-configurator.3.24.2 53756812070f jsonrpc.1.27.0 9bb5901efe0b lsp.1.27.0 8015a1872f8c memprof-limits.0.3.0 b81d84cf356e num.1.6 ae63290e755f ocaml.5.4.1 605ee87b3b32 ocaml-base-compiler.5.4.1 65e494ce93d2 ocaml-compiler.5.4.1 1522e5ce5ff4 ocaml-compiler-libs.v0.17.0 7ba2122e7faf ocaml-config.3 d1d5534a51dd ocaml_intrinsics_kernel.v0.17.2 3aa87a2e4d9d ocamlbuild.0.16.1 334f5d05ff63 ocamlfind.1.9.8 020744e7bcfa octavius.1.2.2 a176dcecce43 parsexp.v0.17.0 0b8984820ee4 ppx_blob.0.9.0 8b24b798422b ppx_derivers.1.2.1 1d6d18845b1e ppx_deriving.6.2.0 f44da0a4566a ppx_import.1.12.0 49928da47f29 ppx_js_style.v0.17.1 62f9afd8bb63 ppx_optcomp.v0.17.1 2b13180f86fe ppx_sexp_conv.v0.17.1 d7fd2c858868 ppx_yojson_conv.v0.17.1 721608018932 ppx_yojson_conv_lib.v0.17.0 e40373498ea6 ppxlib.0.39.0 826678ebb0ef ppxlib_jane.v0.17.4 15f3e85402f6 result.1.5 576a9cb722ec rocq-core.9.3.0 104e7b4436eb rocq-runtime.9.3.0 913e551c243b sel.0.8.0 ff99a424c974 sexplib.v0.17.0 6a7e57425ffb sexplib0.v0.17.0 cf23dd3ffbdb stdio.v0.17.0 0e003f830273 topkg.1.1.1 4d4d5c1c8d96 uutf.1.0.4 df15030a25c9 yojson.3.0.0 80c232f1c2e7 zarith.1.14 517101d5e765 === STDOUT === Processing: [default: loading data] [vsrocq-language-server.2.5.1: dl] [vsrocq-language-server.2.5.1: extract] -> retrieved vsrocq-language-server.2.5.1 (https://opam.ocaml.org/cache) [vsrocq-language-server: make dune-files] + /usr/bin/make "dune-files" (CWD=/home/opam/.opam/default/.opam-switch/build/vsrocq-language-server.2.5.1) - - Building for Rocq 9.3 - - - Building for Rocq 9.3 - - - Building for Rocq 9.3 - - - Building for Rocq 9.3 - - - Building for Rocq 9.3 - - - Building for Rocq 9.3 - [vsrocq-language-server: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "vsrocq-language-server" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/vsrocq-language-server.2.5.1) -> compiled vsrocq-language-server.2.5.1 -> installed vsrocq-language-server.2.5.1 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-10-23 11:14.37: OK: build vsrocq-language-server.2.5.1 (runc: 16.1s, disk: 12KB) 2026-10-23 11:14.37: Job succeeded