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