2026-10-21 20:37.44: New job: build z3.4.12.2 (3e0520f01dbe)
2026-10-21 20:37.44: Waiting for resource in pool day11-builds
2026-10-21 22:20.32: Got resource from pool day11-builds
2026-10-21 22:20.32: [profile full] build z3.4.12.2
2026-10-21 22:20.32: build z3.4.12.2 (3e0520f01dbe)
2026-10-21 22:33.09: Job failed: Cancelled: File "lib_cache/current_cache.ml", line 522, characters 14-20: Assertion failed