2026-10-09 18:10.42: New job: doc dns-client-mirage.7.0.3 (9edbd0217dca)
2026-10-09 18:10.42: Waiting for resource in pool day11-builds
2026-10-09 18:17.41: Got resource from pool day11-builds
2026-10-09 18:17.41: [profile oxcaml-odoc-master] doc dns-client-mirage.7.0.3
2026-10-09 18:17.41: Cached: doc dns-client-mirage.7.0.3 (9edbd0217dca)
2026-10-09 18:17.41: Job succeeded