Build:
- 0
2026-06-23 21:57.04: New job: build coq-lsp.0.1.9+8.17 (ce23112fd0ac) 2026-06-23 21:57.04: Waiting for resource in pool day11-builds 2026-06-23 22:27.07: Got resource from pool day11-builds 2026-06-23 22:27.07: [profile full] build coq-lsp.0.1.9+8.17 2026-06-23 22:27.07: build coq-lsp.0.1.9+8.17 (ce23112fd0ac) === DEPENDENCIES (61 transitive) === angstrom.0.16.1 7e7840977962 base.v0.17.3 ba6b2c2bc454 base-threads.base b7164ff76afe base-unix.base 839dc585f12d bigstringaf.0.10.0 d7f112e7f51d cmdliner.2.1.1 5736fa347c86 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 4b60827fc174 coq.8.17.1 7d9968f362c7 coq-core.8.17.1 fa7070141ad6 coq-serapi.8.17.0+0.17.3 2792ab58d86b coq-stdlib.8.17.1 273efa1917f6 coqide-server.8.17.1 9ad427918fef cppo.1.8.0 f4ca627a9449 csexp.1.5.2 b53491c758da dune.3.23.1 9174d78a1f0e dune-build-info.3.23.1 98f3ce1eb3ee dune-configurator.3.23.1 4ac5d9312ab3 jane-street-headers.v0.17.0 8b4fb03af207 jst-config.v0.17.0 d44ae9918f66 menhir.20260209 44381631ae34 menhirCST.20260209 dff0e3f826f1 menhirGLR.20260209 79edf1888b2d menhirLib.20260209 a8fb1dc46871 menhirSdk.20260209 7955704830e5 num.1.6 f281926e2d11 ocaml.5.2.1 b36a3a003df3 ocaml-base-compiler.5.2.1 91ea68ae8779 ocaml-compiler-libs.v0.17.0 eb36f3cabdba ocaml-config.3 291db63d419b ocaml-syntax-shims.1.0.0 d8714c276e46 ocaml_intrinsics_kernel.v0.17.2 185f47df5b10 ocamlfind.1.9.6 36f1f9a3ee82 parsexp.v0.17.0 6664584bf11d ppx_assert.v0.17.0 08bba9412e79 ppx_base.v0.17.0 c1ff8b3dfd51 ppx_cold.v0.17.0 ab4314383968 ppx_compare.v0.17.0 da233b27448b ppx_derivers.1.2.1 561ac31bcf9d ppx_deriving.5.2.1 a5f2cdf1c02e ppx_deriving_yojson.3.9.1 66b70ee7aca7 ppx_enumerate.v0.17.0 3a4c039f39f6 ppx_globalize.v0.17.0 fef51c23a077 ppx_hash.v0.17.0 a4b1553251f8 ppx_here.v0.17.0 64fb5d81349d ppx_import.1.12.0 c4963d43ba65 ppx_inline_test.v0.17.0 9040a8ca61cf ppx_optcomp.v0.17.0 35a1be60d54b ppx_sexp_conv.v0.17.0 a07c18d3cdea ppxlib.0.35.0 8698043a7933 ppxlib_jane.v0.17.0 100091bbf988 result.1.5 74d20bf63a65 sexplib.v0.17.0 0eec547a90b2 sexplib0.v0.17.0 6988405006f1 stdio.v0.17.0 d58fff95262a stdlib-shims.0.3.0 358b380ce61e stringext.1.6.0 b19bef8accf0 time_now.v0.17.0 f26cb447caa6 uri.4.4.0 c709c9d951f8 yojson.3.0.0 8aed31b56577 zarith.1.14 61b844b7e8c3 === STDOUT === Processing: [default: loading data] [coq-lsp.0.1.9+8.17: dl] [coq-lsp.0.1.9+8.17: extract] -> retrieved coq-lsp.0.1.9+8.17 (https://opam.ocaml.org/cache) [coq-lsp: rm vendor] + /usr/bin/rm "-rf" "vendor" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-lsp.0.1.9+8.17) [coq-lsp: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-lsp" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-lsp.0.1.9+8.17) - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -I controller/.coq_lsp.eobjs/byte -I controller/.coq_lsp.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -cmi-file controller/.coq_lsp.eobjs/byte/findlib_initl.cmi -no-alias-deps -opaque -o controller/.coq_lsp.eobjs/native/findlib_initl.cmx -c -impl controller/.coq_lsp.eobjs/findlib_initl.ml-gen) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -I compiler/.fcc.eobjs/byte -I compiler/.fcc.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -cmi-file compiler/.fcc.eobjs/byte/findlib_initl.cmi -no-alias-deps -opaque -o compiler/.fcc.eobjs/native/findlib_initl.cmx -c -impl compiler/.fcc.eobjs/findlib_initl.ml-gen) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -I petanque/json_shell/.pet.eobjs/byte -I petanque/json_shell/.pet.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -cmi-file petanque/json_shell/.pet.eobjs/byte/findlib_initl.cmi -no-alias-deps -opaque -o petanque/json_shell/.pet.eobjs/native/findlib_initl.cmx -c -impl petanque/json_shell/.pet.eobjs/findlib_initl.ml-gen) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I coq/.coq.objs/byte -I coq/.coq.objs/native -I /home/opam/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/coq-serapi/serlib -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I lang/.lang.objs/byte -I lang/.lang.objs/native -cmi-file coq/.coq.objs/byte/coq__Loader.cmi -no-alias-deps -open Coq -o coq/.coq.objs/native/coq__Loader.cmx -c -impl coq/loader.pp.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_dynload, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I coq/.coq.objs/byte -I coq/.coq.objs/native -I /home/opam/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/coq-serapi/serlib -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I lang/.lang.objs/byte -I lang/.lang.objs/native -cmi-file coq/.coq.objs/byte/coq__Workspace.cmi -no-alias-deps -open Coq -o coq/.coq.objs/native/coq__Workspace.cmx -c -impl coq/workspace.pp.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I compiler/.fcc_lib.objs/byte -I compiler/.fcc_lib.objs/native -I /home/opam/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/coq-serapi/serlib -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I coq/.coq.objs/byte -I coq/.coq.objs/native -I fleche/.fleche.objs/byte -I fleche/.fleche.objs/native -I fleche/waterproof/.fleche_waterproof.objs/byte -I fleche/waterproof/.fleche_waterproof.objs/native -I lang/.lang.objs/byte -I lang/.lang.objs/native -I lsp/.lsp.objs/byte -I lsp/.lsp.objs/native -cmi-file compiler/.fcc_lib.objs/byte/fcc_lib__Driver.cmi -no-alias-deps -open Fcc_lib -o compiler/.fcc_lib.objs/native/fcc_lib__Driver.cmx -c -impl compiler/driver.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_dynload, and its interface was not compiled with -opaque -> compiled coq-lsp.0.1.9+8.17 -> installed coq-lsp.0.1.9+8.17 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-23 22:28.01: OK: build coq-lsp.0.1.9+8.17 (runc: 17.1s, disk: 23KB) 2026-06-23 22:28.01: Job succeeded