Build:
- 0
2026-09-06 11:37.01: New job: build vsrocq-language-server.2.5.0 (32a63d9a2162) 2026-09-06 11:37.01: [profile full] build vsrocq-language-server.2.5.0 2026-09-06 11:37.08: build vsrocq-language-server.2.5.0 (32a63d9a2162) === DEPENDENCIES (46 transitive) === base.v0.17.3 c30706fe17dc base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e conf-gmp.5 eac5259e412f conf-linux-libc-dev.0 0af5b24bacd0 conf-pkg-config.5 74f50f3cfe72 coq-core.8.20.1 7eae0397fd76 coq-stdlib.8.20.1 cc35bde46c72 cppo.1.8.0 190ee296cdd0 csexp.1.5.2 fd59ccf8803d dune.3.23.1 8d06ddbdcff0 dune-configurator.3.23.1 9e87046232aa jsonrpc.1.27.0 3c968ce87266 lsp.1.27.0 04878c1a7320 memprof-limits.0.3.0 ec142ccbe1b2 num.1.6 76977f09e867 ocaml.5.4.1 f01fda733396 ocaml-base-compiler.5.4.1 d24c54dd04d7 ocaml-compiler.5.4.1 5e4d2e54ea9c ocaml-compiler-libs.v0.17.0 871604cc7b89 ocaml-config.3 d59e78145b7c ocaml_intrinsics_kernel.v0.17.2 f04df0e4dedb ocamlbuild.0.16.1 6a4fb30c9c05 ocamlfind.1.9.8 d0ee8c624584 octavius.1.2.2 ed07b4fca5f9 parsexp.v0.17.0 c797fbe2ee7f ppx_derivers.1.2.1 0d4d89158386 ppx_deriving.6.1.3 d537de169248 ppx_import.1.12.0 682f42ccfe9d ppx_js_style.v0.17.1 9f23c5fb8dc5 ppx_optcomp.v0.17.1 19a6472392cf ppx_sexp_conv.v0.17.1 30a0f2a9b96a ppx_yojson_conv.v0.17.1 4534e1877347 ppx_yojson_conv_lib.v0.17.0 34fcf03669e7 ppxlib.0.38.0 dab8320c6562 ppxlib_jane.v0.17.4 caa8b6ff4716 result.1.5 04f7da9696c0 sel.0.8.0 6e33fd9700ea sexplib.v0.17.0 7969f2fb7193 sexplib0.v0.17.0 76ccc85521ba stdio.v0.17.0 7d7ab28b4ba9 stdlib-shims.0.3.0 544ea2c0d491 topkg.1.1.1 13ccc3945283 uutf.1.0.4 564c10e5776f yojson.3.0.0 3b7f062d8d3d zarith.1.14 10f02761c35e === STDOUT === Processing: [default: loading data] [vsrocq-language-server.2.5.0: dl] [vsrocq-language-server.2.5.0: extract] -> retrieved vsrocq-language-server.2.5.0 (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.0) - - Building for Rocq 8.20 - - - Building for Rocq 8.20 - - - Building for Rocq 8.20 - - - Building for Rocq 8.20 - - - Building for Rocq 8.20 - - - Building for Rocq 8.20 - [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.0) -> compiled vsrocq-language-server.2.5.0 -> installed vsrocq-language-server.2.5.0 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-09-06 11:37.23: OK: build vsrocq-language-server.2.5.0 (runc: 12.6s, disk: 12KB) 2026-09-06 11:37.23: Job succeeded