2025-04-02 16:50.18: New job: incremental solver v2
2025-04-02 16:50.18: Using opam-repository sha 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:50.27 [INFO] Solving for ocaml-base-compiler, ocaml,
ppx_minidebug using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:50.27 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-driver-pgx using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:50.27 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-miou using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:50.27 [INFO] Solving for ocaml-base-compiler, ocaml,
opentelemetry-client-cohttp-lwt using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for caqti-miou.2.2.4: Error from solver: Bad frame from worker: time="0.60" len="0.0"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
opentelemetry-client-ocurl using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for opentelemetry-client-ocurl.0.11.2: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
tsort using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for opentelemetry-client-cohttp-lwt.0.11.2: Error from solver: Bad frame from worker: time="0.61" len="0.0"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
liquidsoap using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for liquidsoap.2.3.2: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
opentelemetry-lwt using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for caqti-driver-pgx.2.2.4: Error from solver: Bad frame from worker: time="0.59" len="0.0"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-eio using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for caqti-eio.2.2.4: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.08: Solving failed for ppx_minidebug.2.2.0: Error from solver: Bad frame from worker: time="0.64" len="0.0"
2025-04-02 16:51.08 [INFO] Solving for ocaml-base-compiler, ocaml,
diffast-git using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.09: Solving failed for diffast-git.0.2: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.09 [INFO] Solving for ocaml-base-compiler, ocaml,
liquidsoap-js using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.47 [INFO] base: found solution in 0.68 s
2025-04-02 16:51.47 [INFO] oldest_commit_with git -C opam-repository log -n 1
--format=format:%H
18be678a8e8836fcf31e1c3effd089882d376923 --
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.17.2
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/tsort/tsort.2.2.0
2025-04-02 16:51.47 [INFO] = base =
2025-04-02 16:51.47 [INFO] -> base-bigarray.base base-domains.base
base-nnp.base base-threads.base base-unix.base
dune.3.17.2 ocaml.5.0.0
ocaml-base-compiler.5.0.0 ocaml-config.3
ocaml-options-vanilla.1 tsort.2.2.0
2025-04-02 16:51.47 [INFO] (valid since opam-repository commit 62ea4a5f124e7fecd2ffc92dfd29b3e252b0fa08)
2025-04-02 16:51.47 [INFO] Solving for ocaml-base-compiler, ocaml,
ocaml-inifiles using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.49: Solving failed for caqti.2.2.4: Error from solver: Bad frame from worker: time="0.60" len="0.0"
2025-04-02 16:51.49 [INFO] Solving for ocaml-base-compiler, ocaml,
cpdf using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.49: Solving failed for cpdf.2.8.1: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.49 [INFO] Solving for ocaml-base-compiler, ocaml,
opentelemetry using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.49: Solving failed for ocaml-inifiles.1.2: Error from solver: Bad frame from worker: time="0.62" len="0.0"
2025-04-02 16:51.49 [INFO] Solving for ocaml-base-compiler, ocaml,
sedlex using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.49: Solving failed for sedlex.3.4: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.49 [INFO] Solving for ocaml-base-compiler, ocaml,
fstar using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for liquidsoap-js.2.3.2: Error from solver: Bad frame from worker: time="0.69" len="0.0"
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
metadata using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for metadata.0.3.1: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-driver-postgresql using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for opentelemetry-lwt.0.11.2: Error from solver: Bad frame from worker: time="0.66" len="0.0"
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-lwt using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for caqti-lwt.2.2.4: Error from solver: Bad frame from worker: time="15" len="!Stack overflow"
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
liquidsoap-mode using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for liquidsoap-mode.2.3.2: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-async using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for caqti-async.2.2.4: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-driver-mariadb using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for caqti-driver-mariadb.2.2.4: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-mirage using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for caqti-mirage.2.2.4: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
liquidsoap-lang using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for liquidsoap-lang.2.3.2: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
opentelemetry-cohttp-lwt using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for opentelemetry-cohttp-lwt.0.11.2: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-driver-sqlite3 using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:51.50: Solving failed for caqti-driver-sqlite3.2.2.4: Error from solver: End_of_file
2025-04-02 16:51.50 [INFO] Solving for ocaml-base-compiler, ocaml,
caqti-tls using opam_repository_commit 18be678a8e8836fcf31e1c3effd089882d376923
2025-04-02 16:52.29 [INFO] base: found solution in 0.65 s
2025-04-02 16:52.29 [INFO] oldest_commit_with git -C opam-repository log -n 1
--format=format:%H
18be678a8e8836fcf31e1c3effd089882d376923 --
packages/atomic/atomic.base
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.17.2 packages/hmap/hmap.0.8.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/ocamlbuild/ocamlbuild.0.16.1
packages/ocamlfind/ocamlfind.1.9.8
packages/opentelemetry/opentelemetry.0.11.2
packages/pbrt/pbrt.3.1.1
packages/ptime/ptime.1.2.0
packages/stdlib-shims/stdlib-shims.0.3.0
packages/thread-local-storage/thread-local-storage.0.2
packages/topkg/topkg.1.0.8
2025-04-02 16:52.29 [INFO] = base =
2025-04-02 16:52.29 [INFO] -> atomic.base base-bigarray.base
base-domains.base base-nnp.base
base-threads.base base-unix.base dune.3.17.2
hmap.0.8.1 ocaml.5.0.0
ocaml-base-compiler.5.0.0 ocaml-config.3
ocaml-options-vanilla.1 ocamlbuild.0.16.1
ocamlfind.1.9.8 opentelemetry.0.11.2 pbrt.3.1.1
ptime.1.2.0 stdlib-shims.0.3.0
thread-local-storage.0.2 topkg.1.0.8
2025-04-02 16:52.29 [INFO] (valid since opam-repository commit 326bf14592af80f177d330110801c65e97c3d804)
2025-04-02 16:52.31: Solving failed for fstar.2025.03.25: Error from solver: Bad frame from worker: time="0.61" len="0.0"
2025-04-02 16:52.31: Solving failed for caqti-tls.2.1.2: Error from solver: Bad frame from worker: time="0.61" len="0.0"
2025-04-02 16:52.32: Solving failed for caqti-driver-postgresql.2.2.4: Error from solver: Bad frame from worker: time="0.64" len="0.0"
2025-04-02 16:52.32: Solved: 4455 / New: 28 / Success: 2
2025-04-02 16:52.33: Job succeeded