Build:
  1. 514
  2. 513
  3. 512
  4. 511
  5. 510
  6. 509
  7. 508
  8. 507
  9. 506
  10. 505
2026-06-01 12:30.44: New job: incremental solver v2
2026-06-01 12:30.44: Using opam-repository sha 78d29aba187e8362b8ab86c189790c0af9153d4b
2026-06-01 12:30.44: Solved: 17981 / New: 0 / Success: 0
2026-06-01 12:31.31: Job succeeded