Build:
- 0
2026-11-02 22:10.00: New job: build vsrocq-language-server.2.5.1 (81ced8272bb6) 2026-11-02 22:10.00: [profile full] build vsrocq-language-server.2.5.1 2026-11-02 22:10.08: build vsrocq-language-server.2.5.1 (81ced8272bb6) === DEPENDENCIES (46 transitive) === base.v0.17.3 e6dc2c3bed26 base-threads.base f062ded5f7fe base-unix.base 200a1b731b4b conf-gmp.5 8d91c6058444 conf-linux-libc-dev.0 a684c8c427ea conf-pkg-config.5 e30d9fba6ce2 cppo.1.8.0 20fe2da86dcc csexp.1.5.2 208040ac5aef dune.3.24.2 87077ff2295f dune-configurator.3.24.2 73247d48b189 jsonrpc.1.27.0 8a9907224eed lsp.1.27.0 38bb24f3337f memprof-limits.0.3.0 d2361773a3d7 num.1.6 83c052634399 ocaml.5.4.1 3603a32f1e2a ocaml-base-compiler.5.4.1 ffb6dce4a308 ocaml-compiler.5.4.1 be24812ad04d ocaml-compiler-libs.v0.17.0 0290e90f6274 ocaml-config.3 e4802a31fecd ocaml_intrinsics_kernel.v0.17.3 a428a12c8563 ocamlbuild.0.16.1 b0d03b9bca21 ocamlfind.1.9.8 013f68cabb42 octavius.1.2.2 3e705d7dad75 parsexp.v0.17.0 37f967bb57be ppx_blob.0.9.0 b11cbc129fcc ppx_derivers.1.2.1 83f461191183 ppx_deriving.6.2.0 4cb516e7716a ppx_import.1.12.0 67f0fd0aea8a ppx_js_style.v0.17.1 ff78cd5036ab ppx_optcomp.v0.17.1 0ddfa13afa36 ppx_sexp_conv.v0.17.1 18d1f7676b49 ppx_yojson_conv.v0.17.1 0585b3a25c49 ppx_yojson_conv_lib.v0.17.0 1c2bade4987a ppxlib.0.39.0 4f2e0cf505d6 ppxlib_jane.v0.17.4 79d46716978e result.1.5 ccc191d52608 rocq-core.9.3.0 b95e0552d889 rocq-runtime.9.3.0 92a4d41b5697 sel.0.8.0 7fedcee6166d sexplib.v0.17.0 95dca68d5109 sexplib0.v0.17.0 bd39281fc82d stdio.v0.17.0 b6d1a381b37a topkg.1.1.1 05babcc7276c uutf.1.0.4 0c9d75be2f0a yojson.3.0.0 0257ab3f7dbc zarith.1.14 d190f960516f === 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-11-02 22:10.54: OK: build vsrocq-language-server.2.5.1 (runc: 35.0s, disk: 12KB) 2026-11-02 22:10.54: Job succeeded