2026-11-06 15:17.51: New job: doc mirage-runtime.4.0.0~beta3 (0a76a75498b8)
2026-11-06 15:17.51: Waiting for resource in pool day11-builds
2026-11-06 16:18.20: Got resource from pool day11-builds
2026-11-06 16:18.20: [profile full] doc mirage-runtime.4.0.0~beta3
2026-11-06 16:18.20: Cached: doc mirage-runtime.4.0.0~beta3 (0a76a75498b8)
2026-11-06 16:18.20: Job succeeded