2026-06-24 18:54.50: New job: build vscoq-language-server.2.0.3+coq8.18 (dfef8d141c40)
2026-06-24 18:54.50: Waiting for resource in pool day11-builds
2026-06-24 19:11.13: Got resource from pool day11-builds
2026-06-24 19:11.13: [profile full] build vscoq-language-server.2.0.3+coq8.18
2026-06-24 19:11.13: build vscoq-language-server.2.0.3+coq8.18 (dfef8d141c40)
=== DEPENDENCIES (54 transitive) ===
  base.v0.15.2                                       5a4cd4078158
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  coq-core.8.18.0                                    d07c4a2976d4
  coq-stdlib.8.18.0                                  91ebbc7b970c
  cppo.1.8.0                                         c8a9dfb8f116
  csexp.1.5.2                                        0ced60b1f74a
  dune.3.23.1                                        9d721df3a13a
  dune-configurator.3.23.1                           1ab906eeab63
  jane-street-headers.v0.15.0                        da4e64af83de
  jsonrpc.1.18.0                                     953a81e0534d
  jst-config.v0.15.1                                 c4e8e02e9e02
  lsp.1.18.0                                         896298f6e1a4
  num.1.6                                            bf28d08d4620
  ocaml.5.3.0                                        ec34d524d97d
  ocaml-base-compiler.5.3.0                          1841888fe75b
  ocaml-compiler.5.3.0                               f295fe609c87
  ocaml-compiler-libs.v0.17.0                        ae1038bc23cf
  ocaml-config.3                                     a52eea84eedb
  ocamlbuild.0.16.1                                  bdeca1c5518a
  ocamlfind.1.9.8                                    558092066ff0
  octavius.1.2.2                                     8565c670210b
  parsexp.v0.15.0                                    52d1297637f8
  ppx_assert.v0.15.0                                 b6568fc220a6
  ppx_base.v0.15.0                                   b70a9f276a2a
  ppx_cold.v0.15.0                                   5c72427eabeb
  ppx_compare.v0.15.0                                9a127043c549
  ppx_derivers.1.2.1                                 fe71b19cf412
  ppx_deriving.6.0.3                                 50e4adb5d0b7
  ppx_enumerate.v0.15.0                              cff01542c419
  ppx_hash.v0.15.0                                   3f48e6dba9d3
  ppx_here.v0.15.0                                   86157c706bd9
  ppx_import.1.12.0                                  0df475d2ca10
  ppx_inline_test.v0.15.1                            c617216d5c10
  ppx_js_style.v0.15.0                               a1cf4acd377e
  ppx_optcomp.v0.15.0                                2ad5b7a980dc
  ppx_sexp_conv.v0.15.1                              d98c9c684457
  ppx_yojson_conv.v0.15.1                            a8beab6cba32
  ppx_yojson_conv_lib.v0.15.0                        9ae8bfbed273
  ppxlib.0.35.0                                      81f6581519d1
  result.1.5                                         3b36b5342c52
  sel.0.8.0                                          db77428200e8
  seq.base                                           cd738ac20daf
  sexplib.v0.15.1                                    500b3cd765fd
  sexplib0.v0.15.1                                   35939231b363
  stdio.v0.15.0                                      6b9a73f16152
  stdlib-shims.0.3.0                                 c94355dec213
  time_now.v0.15.0                                   2d5484fad8d5
  topkg.1.1.1                                        e3d6961e1f2d
  uutf.1.0.4                                         94b120860ad2
  yojson.2.2.2                                       964627aa5cc3
  zarith.1.14                                        88f19ac83a9a
=== STDOUT ===
Processing: [default: loading data]
[vscoq-language-server.2.0.3+coq8.18: dl]
[vscoq-language-server.2.0.3+coq8.18: extract]
-> retrieved vscoq-language-server.2.0.3+coq8.18  (https://opam.ocaml.org/cache)
[vscoq-language-server: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "vscoq-language-server" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/vscoq-language-server.2.0.3+coq8.18)
-> compiled  vscoq-language-server.2.0.3+coq8.18
-> installed vscoq-language-server.2.0.3+coq8.18
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-24 19:11.39: OK: build vscoq-language-server.2.0.3+coq8.18 (runc: 11.6s, disk: 12KB)
2026-06-24 19:11.39: Job succeeded