2026-08-15 11:29.19: New job: doc menhir.20250912 (a242f4f47152)
2026-08-15 11:29.19: Waiting for resource in pool day11-builds
2026-08-15 15:26.08: Got resource from pool day11-builds
2026-08-15 15:26.08: [profile full] doc menhir.20250912
2026-08-15 15:26.08: Cached: doc menhir.20250912 (a242f4f47152)
2026-08-15 15:26.08: Job succeeded