Build:
- 0
2026-11-06 05:10.44: New job: build vsrocq-language-server.2.5.1 (33a056a0b60f) 2026-11-06 05:10.44: Waiting for resource in pool day11-builds 2026-11-06 06:43.59: Got resource from pool day11-builds 2026-11-06 06:43.59: [profile full] build vsrocq-language-server.2.5.1 2026-11-06 06:43.59: build vsrocq-language-server.2.5.1 (33a056a0b60f) === DEPENDENCIES (46 transitive) === base.v0.17.3 09d942225e4f base-threads.base e5afefc1e615 base-unix.base 52b3a79a2336 conf-gmp.5 5fdec896ddcc conf-linux-libc-dev.0 07a14bf9b8b1 conf-pkg-config.5 918c1ea9acfc cppo.1.8.0 024bed18e6fb csexp.1.5.2 ef01c11b4e63 dune.3.24.2 252b69bec96a dune-configurator.3.24.2 2fb16b190e05 jsonrpc.1.27.0 940e8d2ccc70 lsp.1.27.0 a08d28c19f58 memprof-limits.0.3.0 e065da68dc58 num.1.6 18937a4e9000 ocaml.5.4.1 b3861fbf0f16 ocaml-base-compiler.5.4.1 e4433a222b47 ocaml-compiler.5.4.1 542fe5798f3a ocaml-compiler-libs.v0.17.0 5dfa9497a1be ocaml-config.3 1f4eb3138f4d ocaml_intrinsics_kernel.v0.17.3 e8a47f0f380a ocamlbuild.0.16.1 7e056b306275 ocamlfind.1.9.8 baebba3d8733 octavius.1.2.2 0725a19e199f parsexp.v0.17.0 dc3c70e05086 ppx_blob.0.9.0 1b04b1eb0190 ppx_derivers.1.2.1 16a3f6b1f039 ppx_deriving.6.2.0 9223118a1dea ppx_import.1.12.0 749e9a182ada ppx_js_style.v0.17.1 a2ff817a4462 ppx_optcomp.v0.17.1 a7ffbf736ded ppx_sexp_conv.v0.17.1 97e828e83c6b ppx_yojson_conv.v0.17.1 b6b20cbc4de3 ppx_yojson_conv_lib.v0.17.0 2e70928b170a ppxlib.0.39.0 5ef236620d40 ppxlib_jane.v0.17.4 e9821d1e4b6a result.1.5 b5127f8cd780 rocq-core.9.3.0 912a0b2d5781 rocq-runtime.9.3.0 d13b1895a83e sel.0.8.0 65c28564c7b1 sexplib.v0.17.0 26073d047113 sexplib0.v0.17.0 9feda2f96381 stdio.v0.17.0 8587d7efacfc topkg.1.1.1 256ea55c18df uutf.1.0.4 88364944f1d3 yojson.3.0.0 09fa9af8aff6 zarith.1.14 1b667ecee927 === 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-06 06:47.32: OK: build vsrocq-language-server.2.5.1 (runc: 28.5s, disk: 12KB) 2026-11-06 06:47.32: Job succeeded