2026-10-21 20:30.52: New job: build menhir.20260209 (7f9b083e7ba6)
2026-10-21 20:30.52: Waiting for resource in pool day11-builds
2026-10-21 22:05.41: Got resource from pool day11-builds
2026-10-21 22:05.41: [profile full] build menhir.20260209
2026-10-21 22:05.41: Cached: build menhir.20260209 (7f9b083e7ba6)
2026-10-21 22:05.41: Job succeeded