Build:
- 0
2026-09-04 01:08.53: New job: build vsrocq-language-server.2.4.3 (97c70689d67c)
2026-09-04 01:08.53: Waiting for resource in pool day11-builds
2026-09-04 01:22.20: Got resource from pool day11-builds
2026-09-04 01:22.20: [profile full] build vsrocq-language-server.2.4.3
2026-09-04 01:22.20: build vsrocq-language-server.2.4.3 (97c70689d67c)
=== DEPENDENCIES (57 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 15c641c806e2
coq-stdlib.8.20.1 30045f0178f2
cppo.1.8.0 190ee296cdd0
csexp.1.5.2 fd59ccf8803d
dune.3.23.1 8d06ddbdcff0
dune-configurator.3.23.1 9e87046232aa
jane-street-headers.v0.17.0 9f03b5c79e50
jsonrpc.1.27.0 3c968ce87266
jst-config.v0.17.0 7476b5a2bfa9
lsp.1.27.0 04878c1a7320
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_assert.v0.17.0 817162e2978d
ppx_base.v0.17.0 de40399e8814
ppx_cold.v0.17.0 565a608959ac
ppx_compare.v0.17.0 81d9b689e992
ppx_derivers.1.2.1 0d4d89158386
ppx_deriving.6.1.3 d537de169248
ppx_enumerate.v0.17.0 33914fd23b1d
ppx_globalize.v0.17.2 8f97575e60b4
ppx_hash.v0.17.0 52ec7f99547d
ppx_here.v0.17.0 7c42124c5d01
ppx_import.1.12.0 682f42ccfe9d
ppx_inline_test.v0.17.1 eea88f84f89c
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
time_now.v0.17.0 823fcc7243d1
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.4.3: dl]
[vsrocq-language-server.2.4.3: extract]
-> retrieved vsrocq-language-server.2.4.3 (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.4.3)
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' dm/dune.in >> dm/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' dm/dune.in >> dm/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' language/dune.in >> language/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' language/dune.in >> language/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' vsrocqtop/dune.in >> vsrocqtop/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' vsrocqtop/dune.in >> vsrocqtop/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' protocol/dune.in >> protocol/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' protocol/dune.in >> protocol/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' tests/dune.in >> tests/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' tests/dune.in >> tests/dune; \
- fi
[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.4.3)
-> compiled vsrocq-language-server.2.4.3
-> installed vsrocq-language-server.2.4.3
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
=== STDERR ===
2026-09-04 01:23.09: OK: build vsrocq-language-server.2.4.3 (runc: 18.1s, disk: 16KB)
2026-09-04 01:23.09: Job succeeded