2026-10-09 18:00.39: New job: doc textutils.v0.13.0 (edb6e9502bb0)
2026-10-09 18:00.39: Waiting for resource in pool day11-builds
2026-10-09 18:17.02: Got resource from pool day11-builds
2026-10-09 18:17.03: [profile odoc-master-mini] doc textutils.v0.13.0
2026-10-09 18:17.03: Cached: doc textutils.v0.13.0 (edb6e9502bb0)
2026-10-09 18:17.03: Job succeeded