2025-07-09 22:46.03: New job: incremental solver v2 2025-07-09 22:46.03: Using opam-repository sha 0802514b70b2024a6cd3a5b69a639c1a4b68ecdc 2025-07-09 22:46.13 [INFO] Solving for ocaml-base-compiler, ocaml, elpi using opam_repository_commit 0802514b70b2024a6cd3a5b69a639c1a4b68ecdc 2025-07-09 22:46.41: Solving failed for elpi.3.0.0: Error from solver: Bad frame from worker: time="0.20" len="0.0" 2025-07-09 22:46.41: Solved: 4508 / New: 1 / Success: 0 2025-07-09 22:46.44: Job succeeded