Build:
  1. 514
  2. 513
  3. 512
  4. 511
  5. 510
  6. 509
  7. 508
  8. 507
  9. 506
  10. 505
2026-05-31 21:28.52: New job: incremental solver v2
2026-05-31 21:28.52: Using opam-repository sha 5acf4107ed11a80ba37c4ea55b7bc8136f3f2045
2026-05-31 21:28.53: Solved: 17980 / New: 0 / Success: 0
2026-05-31 21:29.59: Job succeeded