2026-09-04 01:09.03: New job: build vscoq-language-server.2.0.2+coq8.18 (7550c24d8afc)
2026-09-04 01:09.03: Waiting for resource in pool day11-builds
2026-09-04 01:23.09: Got resource from pool day11-builds
2026-09-04 01:23.09: [profile full] build vscoq-language-server.2.0.2+coq8.18
2026-09-04 01:23.09: build vscoq-language-server.2.0.2+coq8.18 (7550c24d8afc)
=== DEPENDENCIES (54 transitive) ===
  base.v0.15.2                                       341329ecc63d
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  conf-gmp.5                                         eac5259e412f
  conf-pkg-config.5                                  74f50f3cfe72
  coq-core.8.18.0                                    972630dfff87
  coq-stdlib.8.18.0                                  90caefbc2fd6
  cppo.1.8.0                                         ec7740b1e4c4
  csexp.1.5.2                                        5f475050b55c
  dune.3.23.1                                        337b5aa650a5
  dune-configurator.3.23.1                           43620f3bdeff
  jane-street-headers.v0.15.0                        dfb1e287fa4f
  jsonrpc.1.18.0                                     bd3786f4324b
  jst-config.v0.15.1                                 ec9594444a63
  lsp.1.18.0                                         a7cd33ba7777
  num.1.6                                            c9b6c2a04dcf
  ocaml.5.3.0                                        6ff460273d57
  ocaml-base-compiler.5.3.0                          ab889490af4f
  ocaml-compiler.5.3.0                               a36aaaa91913
  ocaml-compiler-libs.v0.17.0                        c572e21ee58e
  ocaml-config.3                                     c2e80612d111
  ocamlbuild.0.16.1                                  21bfaf9ec475
  ocamlfind.1.9.8                                    8c4f353d7b71
  octavius.1.2.2                                     68041ba60935
  parsexp.v0.15.0                                    70ac112ae8c3
  ppx_assert.v0.15.0                                 fc959a16c610
  ppx_base.v0.15.0                                   3b0955e3db24
  ppx_cold.v0.15.0                                   05b018e1b0d7
  ppx_compare.v0.15.0                                44ae44b69b7d
  ppx_derivers.1.2.1                                 6bc57e5d6ff1
  ppx_deriving.6.0.3                                 526bb5730ad1
  ppx_enumerate.v0.15.0                              21e420670a34
  ppx_hash.v0.15.0                                   d197f974db48
  ppx_here.v0.15.0                                   1ae3caffeff0
  ppx_import.1.12.0                                  aefd5d27fc34
  ppx_inline_test.v0.15.1                            48ff4ead6f4b
  ppx_js_style.v0.15.0                               7ce81a44bce2
  ppx_optcomp.v0.15.0                                a6146668ae64
  ppx_sexp_conv.v0.15.1                              cb696ed92351
  ppx_yojson_conv.v0.15.1                            dd981e9b98ab
  ppx_yojson_conv_lib.v0.15.0                        59be113e5f4e
  ppxlib.0.35.0                                      705ebff46425
  result.1.5                                         c6d142ff86a3
  sel.0.8.0                                          261c53575723
  seq.base                                           5444851aa742
  sexplib.v0.15.1                                    b0dd6ebae622
  sexplib0.v0.15.1                                   b5f70290bb78
  stdio.v0.15.0                                      ccbf9f77d972
  stdlib-shims.0.3.0                                 0f8781264d2d
  time_now.v0.15.0                                   793b3c6c949f
  topkg.1.1.1                                        58cf4512c849
  uutf.1.0.4                                         fa25c61b2534
  yojson.2.2.2                                       9d398d230688
  zarith.1.14                                        787bc5ecf3ea
=== STDOUT ===
Processing: [default: loading data]
[vscoq-language-server.2.0.2+coq8.18: dl]
[vscoq-language-server.2.0.2+coq8.18: extract]
-> retrieved vscoq-language-server.2.0.2+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.2+coq8.18)
-> compiled  vscoq-language-server.2.0.2+coq8.18
-> installed vscoq-language-server.2.0.2+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-09-04 01:24.38: OK: build vscoq-language-server.2.0.2+coq8.18 (runc: 14.2s, disk: 12KB)
2026-09-04 01:24.38: Job succeeded