2026-10-09 17:08.47: New job: doc sedlex.3.7+ox (d0c2871f5f4f)
2026-10-09 17:08.47: Waiting for resource in pool day11-builds
2026-10-09 17:12.34: Got resource from pool day11-builds
2026-10-09 17:12.34: [profile oxcaml-odoc-master] doc sedlex.3.7+ox
2026-10-09 17:12.34: Cached: doc sedlex.3.7+ox (d0c2871f5f4f)
2026-10-09 17:12.34: Job succeeded