2026-09-03 22:31.52: New job: build mirage-crypto-ec.1.2.0 (e1d12887fd12)
2026-09-03 22:31.52: Waiting for resource in pool day11-builds
2026-09-03 23:08.16: Got resource from pool day11-builds
2026-09-03 23:08.16: [profile full] build mirage-crypto-ec.1.2.0
2026-09-03 23:08.16: Cached: build mirage-crypto-ec.1.2.0 (e1d12887fd12)
2026-09-03 23:08.16: Job succeeded