2026-11-07 11:35.27: New job: build odoc-driver.3.2.2 (151774558e63)
2026-11-07 11:35.27: Waiting for resource in pool day11-builds
2026-11-07 12:41.16: Got resource from pool day11-builds
2026-11-07 12:41.16: [profile full] build odoc-driver.3.2.2
2026-11-07 12:41.17: build odoc-driver.3.2.2 (151774558e63)
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