2026-06-16 18:48.13: New job: build vscoq-language-server.2.1.2 (1cce550d923f)
2026-06-16 18:48.13: Waiting for resource in pool day11-builds
2026-06-16 19:04.09: Got resource from pool day11-builds
2026-06-16 19:04.09: [profile full] build vscoq-language-server.2.1.2
2026-06-16 19:04.09: build vscoq-language-server.2.1.2 (1cce550d923f)
=== DEPENDENCIES (55 transitive) ===
  base.v0.15.2                                       738ea293aeb8
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-gmp.5                                         61e3c79e0ddf
  conf-linux-libc-dev.0                              096e638ca371
  conf-pkg-config.5                                  64c6b37d622b
  coq-core.8.19.2                                    33a85d5b2abe
  coq-stdlib.8.19.2                                  94146338f4e7
  cppo.1.8.0                                         419078d7d6b0
  csexp.1.5.2                                        1637d117a8bb
  dune.3.23.1                                        433683e90514
  dune-configurator.3.23.1                           d169faaa676d
  jane-street-headers.v0.15.0                        3a4cb55c6600
  jsonrpc.1.18.0                                     a7ddca6e6989
  jst-config.v0.15.1                                 78ee1034c707
  lsp.1.18.0                                         cb51a736dc43
  num.1.6                                            3b13662dc011
  ocaml.5.3.0                                        f3f5cb82ec5e
  ocaml-base-compiler.5.3.0                          3282792848d7
  ocaml-compiler.5.3.0                               ec781058d2f3
  ocaml-compiler-libs.v0.17.0                        8c25585cc677
  ocaml-config.3                                     0df636be409d
  ocamlbuild.0.16.1                                  6a034beeb0c1
  ocamlfind.1.9.8                                    814b8d0197a7
  octavius.1.2.2                                     43867c57fde0
  parsexp.v0.15.0                                    9fb63789ebc1
  ppx_assert.v0.15.0                                 f787c82eab67
  ppx_base.v0.15.0                                   7d7cd6ddbd51
  ppx_cold.v0.15.0                                   f681dc70cdac
  ppx_compare.v0.15.0                                79d0f0e5977e
  ppx_derivers.1.2.1                                 ff9d4bfc129e
  ppx_deriving.6.0.3                                 34dd8818e5ec
  ppx_enumerate.v0.15.0                              f93cd134c9d6
  ppx_hash.v0.15.0                                   3beb26835eb2
  ppx_here.v0.15.0                                   8a65ffbd2022
  ppx_import.1.12.0                                  f06c5a435438
  ppx_inline_test.v0.15.1                            29a0605257a0
  ppx_js_style.v0.15.0                               e1a9711b90d4
  ppx_optcomp.v0.15.0                                7151914b8661
  ppx_sexp_conv.v0.15.1                              a8a1eaafa090
  ppx_yojson_conv.v0.15.1                            cd827fa7d7bb
  ppx_yojson_conv_lib.v0.15.0                        303a9ffb951a
  ppxlib.0.35.0                                      e6ee132c27db
  result.1.5                                         858d801cd20c
  sel.0.8.0                                          3713db9b680f
  seq.base                                           f8ce33768766
  sexplib.v0.15.1                                    d8414c6fa287
  sexplib0.v0.15.1                                   e9b4535d72f2
  stdio.v0.15.0                                      5ac30e37d03f
  stdlib-shims.0.3.0                                 f49bc9dde33b
  time_now.v0.15.0                                   d5de05079ae0
  topkg.1.1.1                                        77f1be4dd954
  uutf.1.0.4                                         5af0bdeb39cf
  yojson.2.2.2                                       dc7e09cc8f05
  zarith.1.14                                        092094dfacac
=== STDOUT ===
Processing: [default: loading data]
[vscoq-language-server.2.1.2: dl]
[vscoq-language-server.2.1.2: extract]
-> retrieved vscoq-language-server.2.1.2  (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.1.2)
-> compiled  vscoq-language-server.2.1.2
-> installed vscoq-language-server.2.1.2
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-16 19:04.40: OK: build vscoq-language-server.2.1.2 (runc: 10.1s, disk: 11KB)
2026-06-16 19:04.40: Job succeeded