Build:
  1. 158
  2. 157
  3. 156
  4. 155
  5. 154
  6. 153
  7. 152
  8. 151
  9. 150
  10. 149
2025-07-10 14:46.08: New job: incremental solver v2
2025-07-10 14:46.08: Using opam-repository sha 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.18 [INFO] Solving for ocaml-base-compiler, ocaml,
                           wasm_of_ocaml-compiler using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.18 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.18 [INFO] Solving for ocaml-base-compiler, ocaml,
                           giflib using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.18 [INFO] Solving for ocaml-base-compiler, ocaml,
                           frama-c-lannotate using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.46 [INFO] base: eliminated all possibilities in 0.19 s
2025-07-10 14:46.46 [INFO] = base =
2025-07-10 14:46.46 [INFO] Can't find all required versions.
Selected: astring.0.8.5 base.v0.17.3 base-bigarray.base base-bytes.base
          base-domains.base base-effects.base base-nnp.base base-threads.base
          base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
          conf-pkg-config.4 cppo.1.8.0 crunch.4.0.0 csexp.1.5.2 dune.3.19.1
          dune-build-info.3.19.1 dune-configurator.3.19.1 either.1.0.0
          fix.20250428 fmt.0.10.0 fpath.0.7.3 menhir.20240715
          menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715
          ocaml-options-vanilla.1 ocaml-version.4.0.1
          ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8
          ocamlformat.0.27.0 ocamlformat-lib.0.27.0 ocp-indent.1.8.1
          odoc.3.0.0 odoc-parser.3.0.0 ounit2.2.2.7 ptime.1.2.0 re.1.13.2
          result.1.5 seq.base sexplib0.v0.17.0 stdio.v0.17.0
          stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 uucp.16.0.0 uuseg.16.0.0
          uutf.1.0.4 yojson.3.0.0 zarith.1.14
          giflib&ocaml&ocaml-base-compiler system-mingw
          system-mingw|system-msvc&winpthreads ocaml base-domains
          ocaml-variants ocaml-base-compiler
- giflib -> giflib.1.0.2
    User requested = 1.0.2
- ocaml -> (problem)
    User requested <= 5.0.0
    astring 0.8.5 requires >= 4.05.0
    base v0.17.3 requires >= 5.1.0
    Rejected candidates:
      ocaml.5.0.0: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.3: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.2: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.1: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.0: Incompatible with restriction: >= 5.1.0
      ...
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0~alpha1
    User requested >= 4.04.1
- ocaml-compiler -> ocaml-compiler.5.4.0~alpha1
    ocaml-base-compiler 5.4.0~alpha1 requires = 5.4.0~alpha1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0~alpha1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- system-mingw -> (problem)
    No usable implementations:
      system-mingw.1: Availability condition not satisfied
2025-07-10 14:46.46: Solving failed for giflib.1.0.2: no platform:
2025-07-10 14:46.18 [INFO] Solving for ocaml-base-compiler, ocaml,
                           giflib using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2

2025-07-10 14:46.46 [INFO] base: eliminated all possibilities in 0.19 s

2025-07-10 14:46.46 [INFO] = base =

2025-07-10 14:46.46 [INFO] Can't find all required versions.
Selected: astring.0.8.5 base.v0.17.3 base-bigarray.base base-bytes.base
          base-domains.base base-effects.base base-nnp.base base-threads.base
          base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5
          conf-pkg-config.4 cppo.1.8.0 crunch.4.0.0 csexp.1.5.2 dune.3.19.1
          dune-build-info.3.19.1 dune-configurator.3.19.1 either.1.0.0
          fix.20250428 fmt.0.10.0 fpath.0.7.3 menhir.20240715
          menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715
          ocaml-options-vanilla.1 ocaml-version.4.0.1
          ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8
          ocamlformat.0.27.0 ocamlformat-lib.0.27.0 ocp-indent.1.8.1
          odoc.3.0.0 odoc-parser.3.0.0 ounit2.2.2.7 ptime.1.2.0 re.1.13.2
          result.1.5 seq.base sexplib0.v0.17.0 stdio.v0.17.0
          stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 uucp.16.0.0 uuseg.16.0.0
          uutf.1.0.4 yojson.3.0.0 zarith.1.14
          giflib&ocaml&ocaml-base-compiler system-mingw
          system-mingw|system-msvc&winpthreads ocaml base-domains
          ocaml-variants ocaml-base-compiler
- giflib -> giflib.1.0.2
    User requested = 1.0.2
- ocaml -> (problem)
    User requested <= 5.0.0
    astring 0.8.5 requires >= 4.05.0
    base v0.17.3 requires >= 5.1.0
    Rejected candidates:
      ocaml.5.0.0: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.3: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.2: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.1: Incompatible with restriction: >= 5.1.0
      ocaml.4.14.0: Incompatible with restriction: >= 5.1.0
      ...
- ocaml-base-compiler -> ocaml-base-compiler.5.4.0~alpha1
    User requested >= 4.04.1
- ocaml-compiler -> ocaml-compiler.5.4.0~alpha1
    ocaml-base-compiler 5.4.0~alpha1 requires = 5.4.0~alpha1
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0~alpha1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.3.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- system-mingw -> (problem)
    No usable implementations:
      system-mingw.1: Availability condition not satisfied

2025-07-10 14:46.46 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml-ppx using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.46 [INFO] base: found solution in 0.20 s
2025-07-10 14:46.46 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           0094db1438bc7998ff50d5a923c8c94475197db2 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/dune/dune.3.19.1
                           packages/ocaml/ocaml.5.0.0
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.0.0
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/ounit2/ounit2.2.2.7
                           packages/qcheck/qcheck.0.26
                           packages/qcheck-core/qcheck-core.0.26
                           packages/qcheck-ounit/qcheck-ounit.0.26
                           packages/seq/seq.base
                           packages/stdlib-shims/stdlib-shims.0.3.0
2025-07-10 14:46.46 [INFO] = base =
2025-07-10 14:46.46 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              dune.3.19.1 ocaml.5.0.0
                              ocaml-base-compiler.5.0.0 ocaml-config.3
                              ocaml-options-vanilla.1 ounit2.2.2.7
                              qcheck.0.26 qcheck-core.0.26 qcheck-ounit.0.26
                              seq.base stdlib-shims.0.3.0
2025-07-10 14:46.46 [INFO] (valid since opam-repository commit c715a95fe87d4397d1f0658b2ae5acd528de705e)
2025-07-10 14:46.46 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck-core using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.46 [INFO] base: found solution in 0.19 s
2025-07-10 14:46.46 [INFO] oldest_commit_with git -C opam-repository log -n 1
                           --format=format:%H
                           0094db1438bc7998ff50d5a923c8c94475197db2 --
                           packages/base-bigarray/base-bigarray.base
                           packages/base-domains/base-domains.base
                           packages/base-nnp/base-nnp.base
                           packages/base-threads/base-threads.base
                           packages/base-unix/base-unix.base
                           packages/dune/dune.3.19.1
                           packages/ocaml/ocaml.5.0.0
                           packages/ocaml-base-compiler/ocaml-base-compiler.5.0.0
                           packages/ocaml-config/ocaml-config.3
                           packages/ocaml-options-vanilla/ocaml-options-vanilla.1
                           packages/qcheck-core/qcheck-core.0.26
2025-07-10 14:46.46 [INFO] = base =
2025-07-10 14:46.46 [INFO] -> base-bigarray.base base-domains.base
                              base-nnp.base base-threads.base base-unix.base
                              dune.3.19.1 ocaml.5.0.0
                              ocaml-base-compiler.5.0.0 ocaml-config.3
                              ocaml-options-vanilla.1 qcheck-core.0.26
2025-07-10 14:46.46 [INFO] (valid since opam-repository commit c715a95fe87d4397d1f0658b2ae5acd528de705e)
2025-07-10 14:46.46 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml-ppx_deriving_json using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for wasm_of_ocaml-compiler.6.1.1: Error from solver: Bad frame from worker: time="0.20" len="0.0"
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml-tyxml using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for js_of_ocaml-tyxml.6.1.1: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml-toplevel using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for js_of_ocaml-ppx.6.1.1: Error from solver: Bad frame from worker: time="0.19" len="0.0"
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           freetds using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for freetds.0.7: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml-compiler using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for js_of_ocaml-compiler.6.1.1: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml-lwt using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for js_of_ocaml-lwt.6.1.1: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck-ounit using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for qcheck-ounit.0.26: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           conf-taglib_c using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for conf-taglib_c.2: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           frama-c-luncov using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for frama-c-luncov.0.2.4: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           goblint using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for goblint.2.5.0: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           js_of_ocaml using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for js_of_ocaml.6.1.1: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           containers using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for containers.3.16: Error from solver: End_of_file
2025-07-10 14:46.48 [INFO] Solving for ocaml-base-compiler, ocaml,
                           qcheck-alcotest using opam_repository_commit 0094db1438bc7998ff50d5a923c8c94475197db2
2025-07-10 14:46.48: Solving failed for qcheck-alcotest.0.26: Error from solver: End_of_file
2025-07-10 14:46.48: Solving failed for js_of_ocaml-ppx_deriving_json.6.1.1: Error from solver: Bad frame from worker: time="0.27" len="0.0"
2025-07-10 14:46.49: Solving failed for frama-c-lannotate.0.2.4: Error from solver: Bad frame from worker: time="0.23" len="0.0"
2025-07-10 14:47.16: Solving failed for js_of_ocaml-toplevel.6.1.1: Error from solver: Bad frame from worker: time="0.18" len="0.0"
2025-07-10 14:47.16: Solved: 4511 / New: 19 / Success: 2
2025-07-10 14:47.20: Job succeeded