2026-10-01 22:41.38: New job: build tyxml.5.0.0 (2da510740e5b)
2026-10-01 22:41.38: Waiting for resource in pool day11-builds
2026-10-01 22:42.18: Got resource from pool day11-builds
2026-10-01 22:42.18: [profile odoc-master-mini] build tyxml.5.0.0
2026-10-01 22:42.19: Cached: build tyxml.5.0.0 (2da510740e5b)
2026-10-01 22:42.19: Job succeeded