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