Build:
- 0
2026-09-20 02:25.21: New job: build vsrocq-language-server.2.5.0 (89e88fef5fcc) 2026-09-20 02:25.21: Waiting for resource in pool day11-builds 2026-09-20 03:52.13: Got resource from pool day11-builds 2026-09-20 03:52.13: [profile full] build vsrocq-language-server.2.5.0 2026-09-20 03:52.13: build vsrocq-language-server.2.5.0 (89e88fef5fcc) === DEPENDENCIES (46 transitive) === base.v0.17.3 33b3c4314190 base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 conf-gmp.5 00570d20295f conf-linux-libc-dev.0 6a88f9847ca1 conf-pkg-config.5 5bc8297bba82 coq-core.8.20.1 b67cdca6cad8 coq-stdlib.8.20.1 27343416e719 cppo.1.8.0 bbfbed9307e6 csexp.1.5.2 7020ca03597d dune.3.23.1 c5dc0a1e7b2a dune-configurator.3.23.1 c335c3a2de9a jsonrpc.1.27.0 ffcf653bde9a lsp.1.27.0 61ac2aa2583f memprof-limits.0.3.0 0c8e3f28b664 num.1.6 1a824f8e9b47 ocaml.5.4.1 10425478938c ocaml-base-compiler.5.4.1 a4ccc51c8403 ocaml-compiler.5.4.1 8edca944c974 ocaml-compiler-libs.v0.17.0 0ad3c8120b07 ocaml-config.3 cb23f51a6d80 ocaml_intrinsics_kernel.v0.17.2 4bdbc6c69da5 ocamlbuild.0.16.1 196bf92c9c66 ocamlfind.1.9.8 eb70de571275 octavius.1.2.2 4121c7d7fe15 parsexp.v0.17.0 da2b417977e9 ppx_derivers.1.2.1 47bdd14bb237 ppx_deriving.6.2.0 c5d2d057c4bf ppx_import.1.12.0 b86bff8c580b ppx_js_style.v0.17.1 850da76968bd ppx_optcomp.v0.17.1 d1e6201df71c ppx_sexp_conv.v0.17.1 b3b5c598f1ab ppx_yojson_conv.v0.17.1 bd5dd019c89a ppx_yojson_conv_lib.v0.17.0 d2e1c5a62bb1 ppxlib.0.38.0 f4c31e966e11 ppxlib_jane.v0.17.4 a304df21d385 result.1.5 931591c62d1d sel.0.8.0 1d6a44b97559 sexplib.v0.17.0 581214f29046 sexplib0.v0.17.0 f32b3549405d stdio.v0.17.0 033f2aa6f322 stdlib-shims.0.3.0 8aad5a634453 topkg.1.1.1 cd6b749c5d9e uutf.1.0.4 32ee955c70d6 yojson.3.0.0 aeaa68226cdb zarith.1.14 490ac647beb3 === 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-20 03:52.32: OK: build vsrocq-language-server.2.5.0 (runc: 15.1s, disk: 12KB) 2026-09-20 03:52.32: Job succeeded