2026-09-02 17:43.35: New job: build fstar.2025.09.04 (1a1ef2d59946)
2026-09-02 17:43.35: Waiting for resource in pool day11-builds
2026-09-02 19:32.22: Got resource from pool day11-builds
2026-09-02 19:32.22: [profile full] build fstar.2025.09.04
2026-09-02 19:32.22: build fstar.2025.09.04 (1a1ef2d59946)
2026-09-02 20:34.57: FAILED: build fstar.2025.09.04
2026-09-02 20:34.57: Job failed: build failed: fstar.2025.09.04