2026-10-27 20:18.55: New job: doc menhir.20210310 (a3c410493f8b)
2026-10-27 20:18.55: Waiting for resource in pool day11-builds
2026-10-27 21:59.07: Got resource from pool day11-builds
2026-10-27 21:59.07: [profile full] doc menhir.20210310
2026-10-27 21:59.07: Cached: doc menhir.20210310 (a3c410493f8b)
2026-10-27 21:59.07: Job succeeded