2026-10-24 08:18.24: New job: doc mirage-crypto-rng.1.2.0 (e0daafc5d53a)
2026-10-24 08:18.24: Waiting for resource in pool day11-builds
2026-10-24 09:14.51: Got resource from pool day11-builds
2026-10-24 09:14.51: [profile full] doc mirage-crypto-rng.1.2.0
2026-10-24 09:14.52: doc mirage-crypto-rng.1.2.0 (e0daafc5d53a)
2026-10-24 09:16.52: FAILED: doc mirage-crypto-rng.1.2.0
2026-10-24 09:16.52: Job failed: doc failed: mirage-crypto-rng.1.2.0