Build:
  1. 514
  2. 513
  3. 512
  4. 511
  5. 510
  6. 509
  7. 508
  8. 507
  9. 506
  10. 505
2026-05-29 09:24.50: New job: incremental solver v2
2026-05-29 09:24.50: Using opam-repository sha d6a960ed9546a4e300916f0f19e962c1cd3ab855
2026-05-29 09:24.54 [INFO] Solving for ocaml-base-compiler,
                           smtml, constraints ocaml-base-compiler<=5.4.0,
                           smtml=0.28.0 using opam_repository_commit d6a960ed9546a4e300916f0f19e962c1cd3ab855
2026-05-29 09:25.28 [INFO] base: found solution in 0.22 s
2026-05-29 09:25.28 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           d6a960ed9546a4e300916f0f19e962c1cd3ab855 --
                           packages/zarith/zarith.1.14
                           packages/yojson/yojson.3.0.0
                           packages/uutf/uutf.1.0.4 packages/uucp/uucp.17.0.0
                           packages/uring/uring.2.7.0
                           packages/tyxml/tyxml.4.6.0
                           packages/topkg/topkg.1.1.1
                           packages/top-closure/top-closure.3.23.1
                           packages/thread-table/thread-table.1.0.0
                           packages/terminal/terminal.0.5.0
                           packages/swhid_core/swhid_core.0.1
                           packages/stdune/stdune.3.23.1
                           packages/stdlib-shims/stdlib-shims.0.3.0
                           packages/spelll/spelll.0.4
                           packages/smtml/smtml.0.28.0
                           packages/sherlodoc/sherlodoc.3.2.1
                           packages/sha/sha.1.15.4
                           packages/sexplib0/sexplib0.v0.17.0
                           packages/sexplib/sexplib.v0.17.0
                           packages/seq/seq.base packages/sedlex/sedlex.3.7
                           packages/scfg/scfg.0.5
                           packages/rresult/rresult.0.7.0
                           packages/result/result.1.5 packages/re/re.1.14.0
                           packages/ptime/ptime.1.2.0 packages/psq/psq.0.2.1
                           packages/progress/progress.0.5.0
                           packages/prelude/prelude.0.5
                           packages/ppxlib_jane/ppxlib_jane.v0.17.4
                           packages/ppxlib/ppxlib.0.38.0
                           packages/ppx_sexp_conv/ppx_sexp_conv.v0.17.1
                           packages/ppx_hash/ppx_hash.v0.17.0
                           packages/ppx_enumerate/ppx_enumerate.v0.17.0
                           packages/ppx_deriving/ppx_deriving.6.1.1
                           packages/ppx_derivers/ppx_derivers.1.2.1
                           packages/ppx_compare/ppx_compare.v0.17.0
                           packages/ppx_blob/ppx_blob.0.9.0
                           packages/pp_loc/pp_loc.2.1.0 packages/pp/pp.2.0.0
                           packages/patch/patch.3.1.1
                           packages/parsexp/parsexp.v0.17.0
                           packages/ordering/ordering.3.23.1
                           packages/optint/optint.0.3.0
                           packages/opam-format/opam-format.2.5.1
                           packages/opam-file-format/opam-file-format.2.2.0
                           packages/opam-core/opam-core.2.5.1
                           packages/odoc-parser/odoc-parser.3.2.1
                           packages/odoc-md/odoc-md.3.2.1
                           packages/odoc-driver/odoc-driver.3.2.1
                           packages/odoc/odoc.3.2.1 packages/odig/odig.0.1.0
                           packages/ocplib-endian/ocplib-endian.1.2
                           packages/ocamlgraph/ocamlgraph.2.2.0
                           packages/ocamlfind/ocamlfind.1.9.8
                           packages/ocamlbuild/ocamlbuild.0.16.1
                           packages/ocaml_intrinsics_kernel/ocaml_intrinsics_kernel.v0.17.2
                           packages/ocaml_intrinsics/ocaml_intrinsics.v0.17.0
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-compiler-libs/ocaml-compiler-libs.v0.17.0
                           packages/ocaml-compiler/ocaml-compiler.5.4.0
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.4.0
                           packages/ocaml/ocaml.5.4.0 packages/num/num.1.6
                           packages/mtime/mtime.2.1.0
                           packages/menhirSdk/menhirSdk.20250912
                           packages/menhirLib/menhirLib.20250912
                           packages/menhirCST/menhirCST.20250912
                           packages/menhir/menhir.20250912
                           packages/lwt-dllist/lwt-dllist.1.1.0
                           packages/lwt/lwt.6.1.2 packages/logs/logs.0.10.0
                           packages/jsonm/jsonm.1.0.2
                           packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.6.3.2
                           packages/js_of_ocaml-compiler/js_of_ocaml-compiler.6.3.2
                           packages/js_of_ocaml/js_of_ocaml.6.3.2
                           packages/iomux/iomux.0.4 packages/hmap/hmap.0.8.1
                           packages/hc/hc.0.5 packages/gen/gen.1.1
                           packages/fs-io/fs-io.3.23.1
                           packages/fpath/fpath.0.7.3 packages/fmt/fmt.0.11.0
                           packages/farith/farith.0.1
                           packages/eio_posix/eio_posix.1.3
                           packages/eio_main/eio_main.1.3
                           packages/eio_linux/eio_linux.1.3
                           packages/eio/eio.1.3 packages/dyn/dyn.3.23.1
                           packages/dune-site/dune-site.3.23.1
                           packages/dune-private-libs/dune-private-libs.3.23.1
                           packages/dune-configurator/dune-configurator.3.23.1
                           packages/dune-build-info/dune-build-info.3.23.1
                           packages/dune/dune.3.23.1
                           packages/domain-local-await/domain-local-await.1.0.1
                           packages/dolmen_type/dolmen_type.0.10
                           packages/dolmen_model/dolmen_model.0.10
                           packages/dolmen_loop/dolmen_loop.0.10
                           packages/dolmen/dolmen.0.10
                           packages/decompress/decompress.1.5.3
                           packages/cstruct/cstruct.6.2.0
                           packages/csexp/csexp.1.5.2
                           packages/crunch/crunch.4.0.0
                           packages/cppo/cppo.1.8.0
                           packages/conf-pkg-config/conf-pkg-config.4
                           packages/conf-gmp/conf-gmp.5
                           packages/cmdliner/cmdliner.2.1.1
                           packages/cmarkit/cmarkit.0.4.0
                           packages/checkseum/checkseum.0.5.3
                           packages/camlp-streams/camlp-streams.5.0.1
                           packages/brr/brr.0.0.8 packages/bos/bos.0.3.0
                           packages/bigstringaf/bigstringaf.0.10.0
                           packages/bigstring/bigstring.0.3
                           packages/base64/base64.3.5.2
                           packages/base-unix/base-unix.base
                           packages/base-threads/base-threads.base
                           packages/base-nnp/base-nnp.base
                           packages/base-effects/base-effects.base
                           packages/base-domains/base-domains.base
                           packages/base-bytes/base-bytes.base
                           packages/base-bigarray/base-bigarray.base
                           packages/base/base.v0.17.3 packages/b0/b0.0.0.6
                           packages/astring/astring.0.8.5
2026-05-29 09:25.28 [INFO] = base =
2026-05-29 09:25.28 [INFO] -> compile zarith.1.14 yojson.3.0.0 uutf.1.0.4
                                      uucp.17.0.0 uring.2.7.0 tyxml.4.6.0
                                      topkg.1.1.1 top-closure.3.23.1
                                      thread-table.1.0.0 terminal.0.5.0
                                      swhid_core.0.1 stdune.3.23.1
                                      stdlib-shims.0.3.0 spelll.0.4
                                      smtml.0.28.0 sherlodoc.3.2.1 sha.1.15.4
                                      sexplib0.v0.17.0 sexplib.v0.17.0
                                      seq.base sedlex.3.7 scfg.0.5
                                      rresult.0.7.0 result.1.5 re.1.14.0
                                      ptime.1.2.0 psq.0.2.1 progress.0.5.0
                                      prelude.0.5 ppxlib_jane.v0.17.4
                                      ppxlib.0.38.0 ppx_sexp_conv.v0.17.1
                                      ppx_hash.v0.17.0 ppx_enumerate.v0.17.0
                                      ppx_deriving.6.1.1 ppx_derivers.1.2.1
                                      ppx_compare.v0.17.0 ppx_blob.0.9.0
                                      pp_loc.2.1.0 pp.2.0.0 patch.3.1.1
                                      parsexp.v0.17.0 ordering.3.23.1
                                      optint.0.3.0 opam-format.2.5.1
                                      opam-file-format.2.2.0 opam-core.2.5.1
                                      odoc-parser.3.2.1 odoc-md.3.2.1
                                      odoc-driver.3.2.1 odoc.3.2.1 odig.0.1.0
                                      ocplib-endian.1.2 ocamlgraph.2.2.0
                                      ocamlfind.1.9.8 ocamlbuild.0.16.1
                                      ocaml_intrinsics_kernel.v0.17.2
                                      ocaml_intrinsics.v0.17.0
                                      ocaml-options-vanilla.1 ocaml-config.3
                                      ocaml-compiler-libs.v0.17.0
                                      ocaml-compiler.5.4.0
                                      ocaml-base-compiler.5.4.0 ocaml.5.4.0
                                      num.1.6 mtime.2.1.0 menhirSdk.20250912
                                      menhirLib.20250912 menhirCST.20250912
                                      menhir.20250912 lwt-dllist.1.1.0
                                      lwt.6.1.2 logs.0.10.0 jsonm.1.0.2
                                      js_of_ocaml-toplevel.6.3.2
                                      js_of_ocaml-compiler.6.3.2
                                      js_of_ocaml.6.3.2 iomux.0.4 hmap.0.8.1
                                      hc.0.5 gen.1.1 fs-io.3.23.1 fpath.0.7.3
                                      fmt.0.11.0 farith.0.1 eio_posix.1.3
                                      eio_main.1.3 eio_linux.1.3 eio.1.3
                                      dyn.3.23.1 dune-site.3.23.1
                                      dune-private-libs.3.23.1
                                      dune-configurator.3.23.1
                                      dune-build-info.3.23.1 dune.3.23.1
                                      domain-local-await.1.0.1
                                      dolmen_type.0.10 dolmen_model.0.10
                                      dolmen_loop.0.10 dolmen.0.10
                                      decompress.1.5.3 cstruct.6.2.0
                                      csexp.1.5.2 crunch.4.0.0 cppo.1.8.0
                                      conf-pkg-config.4 conf-gmp.5
                                      cmdliner.2.1.1 cmarkit.0.4.0
                                      checkseum.0.5.3 camlp-streams.5.0.1
                                      brr.0.0.8 bos.0.3.0 bigstringaf.0.10.0
                                      bigstring.0.3 base64.3.5.2
                                      base-unix.base base-threads.base
                                      base-nnp.base base-effects.base
                                      base-domains.base base-bytes.base
                                      base-bigarray.base base.v0.17.3
                                      b0.0.0.6 astring.0.8.5
2026-05-29 09:25.28 [INFO] -> link zarith.1.14 yojson.3.0.0 uutf.1.0.4
                                   uucp.17.0.0 uring.2.7.0 tyxml.4.6.0
                                   topkg.1.1.1 top-closure.3.23.1
                                   thread-table.1.0.0 terminal.0.5.0
                                   swhid_core.0.1 stdune.3.23.1
                                   stdlib-shims.0.3.0 spelll.0.4 smtml.0.28.0
                                   sherlodoc.3.2.1 sha.1.15.4
                                   sexplib0.v0.17.0 sexplib.v0.17.0 seq.base
                                   sedlex.3.7 scfg.0.5 rresult.0.7.0
                                   result.1.5 re.1.14.0 ptime.1.2.0 psq.0.2.1
                                   progress.0.5.0 prelude.0.5
                                   ppxlib_jane.v0.17.4 ppxlib.0.38.0
                                   ppx_sexp_conv.v0.17.1 ppx_hash.v0.17.0
                                   ppx_enumerate.v0.17.0 ppx_deriving.6.1.1
                                   ppx_derivers.1.2.1 ppx_compare.v0.17.0
                                   ppx_blob.0.9.0 pp_loc.2.1.0 pp.2.0.0
                                   patch.3.1.1 parsexp.v0.17.0
                                   ordering.3.23.1 optint.0.3.0
                                   opam-format.2.5.1 opam-file-format.2.2.0
                                   opam-core.2.5.1 odoc-parser.3.2.1
                                   odoc-md.3.2.1 odoc-driver.3.2.1 odoc.3.2.1
                                   odig.0.1.0 ocplib-endian.1.2
                                   ocamlgraph.2.2.0 ocamlfind.1.9.8
                                   ocamlbuild.0.16.1
                                   ocaml_intrinsics_kernel.v0.17.2
                                   ocaml_intrinsics.v0.17.0
                                   ocaml-options-vanilla.1 ocaml-config.3
                                   ocaml-compiler-libs.v0.17.0
                                   ocaml-compiler.5.4.0
                                   ocaml-base-compiler.5.4.0 ocaml.5.4.0
                                   num.1.6 mtime.2.1.0 menhirSdk.20250912
                                   menhirLib.20250912 menhirCST.20250912
                                   menhir.20250912 lwt-dllist.1.1.0 lwt.6.1.2
                                   logs.0.10.0 jsonm.1.0.2
                                   js_of_ocaml-toplevel.6.3.2
                                   js_of_ocaml-compiler.6.3.2
                                   js_of_ocaml.6.3.2 iomux.0.4 hmap.0.8.1
                                   hc.0.5 gen.1.1 fs-io.3.23.1 fpath.0.7.3
                                   fmt.0.11.0 farith.0.1 eio_posix.1.3
                                   eio_main.1.3 eio_linux.1.3 eio.1.3
                                   dyn.3.23.1 dune-site.3.23.1
                                   dune-private-libs.3.23.1
                                   dune-configurator.3.23.1
                                   dune-build-info.3.23.1 dune.3.23.1
                                   domain-local-await.1.0.1 dolmen_type.0.10
                                   dolmen_model.0.10 dolmen_loop.0.10
                                   dolmen.0.10 decompress.1.5.3 cstruct.6.2.0
                                   csexp.1.5.2 crunch.4.0.0 cppo.1.8.0
                                   conf-pkg-config.4 conf-gmp.5
                                   cmdliner.2.1.1 cmarkit.0.4.0
                                   checkseum.0.5.3 camlp-streams.5.0.1
                                   brr.0.0.8 bos.0.3.0 bigstringaf.0.10.0
                                   bigstring.0.3 base64.3.5.2 base-unix.base
                                   base-threads.base base-nnp.base
                                   base-effects.base base-domains.base
                                   base-bytes.base base-bigarray.base
                                   base.v0.17.3 b0.0.0.6 astring.0.8.5
2026-05-29 09:25.28 [INFO] (valid since opam-repository commit 2b71b5c5ea7996669efff10478673abebc98a476)
2026-05-29 09:25.28: Here we go
2026-05-29 09:25.28: Packages returned: 
2026-05-29 09:25.28: Got the root package smtml.0.28.0
2026-05-29 09:25.28: Checking smtml.0.28.0
2026-05-29 09:25.28: Checking astring.0.8.5
2026-05-29 09:25.28: Checking base.v0.17.3
2026-05-29 09:25.28: Checking base-bytes.base
2026-05-29 09:25.28: Checking base-threads.base
2026-05-29 09:25.28: Checking base-unix.base
2026-05-29 09:25.28: Checking bos.0.3.0
2026-05-29 09:25.28: Checking cmdliner.2.1.1
2026-05-29 09:25.28: Checking conf-gmp.5
2026-05-29 09:25.28: Checking conf-pkg-config.4
2026-05-29 09:25.28: Checking cppo.1.8.0
2026-05-29 09:25.28: Checking csexp.1.5.2
2026-05-29 09:25.28: Checking dolmen.0.10
2026-05-29 09:25.28: Checking dolmen_loop.0.10
2026-05-29 09:25.28: Checking dolmen_model.0.10
2026-05-29 09:25.28: Checking dolmen_type.0.10
2026-05-29 09:25.28: Checking dune.3.23.1
2026-05-29 09:25.28: Checking dune-build-info.3.23.1
2026-05-29 09:25.28: Checking dune-configurator.3.23.1
2026-05-29 09:25.28: Checking dune-private-libs.3.23.1
2026-05-29 09:25.28: Checking dune-site.3.23.1
2026-05-29 09:25.28: Checking dyn.3.23.1
2026-05-29 09:25.28: Checking farith.0.1
2026-05-29 09:25.28: Checking fmt.0.11.0
2026-05-29 09:25.28: Checking fpath.0.7.3
2026-05-29 09:25.28: Checking fs-io.3.23.1
2026-05-29 09:25.28: Checking gen.1.1
2026-05-29 09:25.28: Checking hc.0.5
2026-05-29 09:25.28: Checking hmap.0.8.1
2026-05-29 09:25.28: Checking js_of_ocaml-compiler.6.3.2
2026-05-29 09:25.28: Checking logs.0.10.0
2026-05-29 09:25.28: Checking lwt.6.1.2
2026-05-29 09:25.28: Checking menhir.20250912
2026-05-29 09:25.28: Checking menhirCST.20250912
2026-05-29 09:25.28: Checking menhirLib.20250912
2026-05-29 09:25.28: Checking menhirSdk.20250912
2026-05-29 09:25.28: Checking mtime.2.1.0
2026-05-29 09:25.28: Checking ocaml.5.4.0
2026-05-29 09:25.28: Solved: 17975 / New: 1 / Success: 1
2026-05-29 09:25.31: Job succeeded