Build:
- 0
2026-09-04 01:08.53: New job: build coq-lsp.0.2.2+8.19 (145b73551c6f) 2026-09-04 01:08.53: Waiting for resource in pool day11-builds 2026-09-04 01:22.30: Got resource from pool day11-builds 2026-09-04 01:22.30: [profile full] build coq-lsp.0.2.2+8.19 2026-09-04 01:22.30: build coq-lsp.0.2.2+8.19 (145b73551c6f) === DEPENDENCIES (62 transitive) === angstrom.0.16.1 d5febe6c1f11 base.v0.17.3 c30706fe17dc base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bigstringaf.0.10.0 edb91609eb72 cmdliner.2.1.1 9e6f925a750d conf-gmp.5 eac5259e412f conf-linux-libc-dev.0 0af5b24bacd0 conf-pkg-config.5 74f50f3cfe72 coq.8.19.2 0ce2e937060a coq-core.8.19.2 03c594d6962e coq-stdlib.8.19.2 a4970ac8b737 coqide-server.8.19.2 3f228c0d49b6 cppo.1.8.0 190ee296cdd0 csexp.1.5.2 fd59ccf8803d dune.3.23.1 8d06ddbdcff0 dune-build-info.3.23.1 82cf87539511 dune-configurator.3.23.1 9e87046232aa jane-street-headers.v0.17.0 9f03b5c79e50 jst-config.v0.17.0 7476b5a2bfa9 menhir.20260209 1d41e86ab008 menhirCST.20260209 5c1ed955bacf menhirGLR.20260209 85bba53398bf menhirLib.20260209 231ea08a88de menhirSdk.20260209 0405eac28484 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-syntax-shims.1.0.0 d2939941f58e ocaml_intrinsics_kernel.v0.17.2 f04df0e4dedb ocamlfind.1.9.8 d0ee8c624584 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_deriving_yojson.3.10.0 9831179f0399 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_optcomp.v0.17.1 19a6472392cf ppx_sexp_conv.v0.17.1 30a0f2a9b96a ppxlib.0.38.0 dab8320c6562 ppxlib_jane.v0.17.4 caa8b6ff4716 result.1.5 04f7da9696c0 sexplib.v0.17.0 7969f2fb7193 sexplib0.v0.17.0 76ccc85521ba stdio.v0.17.0 7d7ab28b4ba9 stdlib-shims.0.3.0 544ea2c0d491 stringext.1.6.0 6f69ce33119a time_now.v0.17.0 823fcc7243d1 uri.4.4.0 5d505a6dcce7 yojson.3.0.0 3b7f062d8d3d zarith.1.14 10f02761c35e === STDOUT === Processing: [default: loading data] [coq-lsp.0.2.2+8.19: dl] [coq-lsp.0.2.2+8.19: extract] Fatal error: allocation failure during minor GC === STDERR === 2026-09-04 01:23.39: FAILED: build coq-lsp.0.2.2+8.19 2026-09-04 01:23.39: Job failed: build failed: coq-lsp.0.2.2+8.19