2026-09-02 15:37.20: New job: build fstar.2025.06.20 (21c15b8365bb)
2026-09-02 15:37.20: Waiting for resource in pool day11-builds
2026-09-02 19:00.46: Got resource from pool day11-builds
2026-09-02 19:00.46: [profile full] build fstar.2025.06.20
2026-09-02 19:00.46: build fstar.2025.06.20 (21c15b8365bb)
2026-09-02 20:08.18: FAILED: build fstar.2025.06.20
2026-09-02 20:08.18: Job failed: build failed: fstar.2025.06.20