2026-10-28 19:25.08: New job: build z3.5.1.0 (b85257d32313)
2026-10-28 19:25.08: Waiting for resource in pool day11-builds
2026-10-28 20:18.17: Got resource from pool day11-builds
2026-10-28 20:18.17: [profile full] build z3.5.1.0
2026-10-28 20:18.17: build z3.5.1.0 (b85257d32313)
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