2026-08-21 09:50.20: New job: build menhir-secondary.20231231 (9a91233defc6)
2026-08-21 09:50.20: Waiting for resource in pool day11-builds
2026-08-21 13:08.02: Got resource from pool day11-builds
2026-08-21 13:08.02: [profile full] build menhir-secondary.20231231
2026-08-21 13:08.02: build menhir-secondary.20231231 (9a91233defc6)
2026-08-21 13:09.40: FAILED: build menhir-secondary.20231231
2026-08-21 13:09.40: Job failed: build failed: menhir-secondary.20231231