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:21.27: New job: incremental solver v2
2026-05-29 09:21.27: Using opam-repository sha d6a960ed9546a4e300916f0f19e962c1cd3ab855
2026-05-29 09:21.27: Solved: 17974 / New: 0 / Success: 0
2026-05-29 09:22.26: Job succeeded