2026-11-07 11:35.27: New job: build odoc-driver.3.2.2 (08010401d271)
2026-11-07 11:35.27: Waiting for resource in pool day11-builds
2026-11-07 12:19.17: Got resource from pool day11-builds
2026-11-07 12:19.17: [profile full] build odoc-driver.3.2.2
2026-11-07 12:19.17: build odoc-driver.3.2.2 (08010401d271)
2026-11-07 12:43.13: FAILED: build odoc-driver.3.2.2
2026-11-07 12:43.13: Job failed: build failed: odoc-driver.3.2.2