2026-09-04 16:59.44: New job: build hacl-star-raw.0.7.2 (0cec473b63b9)
2026-09-04 16:59.44: Waiting for resource in pool day11-builds
2026-09-04 18:17.46: Got resource from pool day11-builds
2026-09-04 18:17.46: [profile full] build hacl-star-raw.0.7.2
2026-09-04 18:17.46: build hacl-star-raw.0.7.2 (0cec473b63b9)
2026-09-04 18:23.58: FAILED: build hacl-star-raw.0.7.2
2026-09-04 18:23.58: Job failed: build failed: hacl-star-raw.0.7.2