2026-08-15 11:29.19: New job: doc menhir.20260209 (61b172b283ec)
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.20260209
2026-08-15 15:26.08: Cached: doc menhir.20260209 (61b172b283ec)
2026-08-15 15:26.08: Job succeeded