Build:
  1. 514
  2. 513
  3. 512
  4. 511
  5. 510
  6. 509
  7. 508
  8. 507
  9. 506
  10. 505
2026-05-31 13:27.49: New job: incremental solver v2
2026-05-31 13:27.49: Using opam-repository sha 70a8a71b997a552c07231796c5f2b45b14485ef7
2026-05-31 13:27.49: Solved: 17976 / New: 0 / Success: 0
2026-05-31 13:28.38: Job succeeded