2026-09-28 18:01.28: New job: doc ptime.1.2.0 (da1c75d8969e)
2026-09-28 18:01.28: Waiting for resource in pool day11-builds
2026-09-28 18:02.55: Got resource from pool day11-builds
2026-09-28 18:02.55: [profile odoc-master-mini] doc ptime.1.2.0
2026-09-28 18:02.55: doc ptime.1.2.0 (da1c75d8969e)
2026-09-28 18:03.10: FAILED: doc ptime.1.2.0
2026-09-28 18:03.10: Job failed: doc failed: ptime.1.2.0