2026-10-28 19:26.45: New job: build z3.5.1.0 (987f2b04bb89)
2026-10-28 19:26.45: Waiting for resource in pool day11-builds
2026-10-28 20:19.47: Got resource from pool day11-builds
2026-10-28 20:19.47: [profile full] build z3.5.1.0
2026-10-28 20:19.47: build z3.5.1.0 (987f2b04bb89)
2026-10-28 20:35.49: FAILED: build z3.5.1.0
2026-10-28 20:35.59: Job failed: build failed: z3.5.1.0