2026-09-02 15:37.20: New job: build fstar.2025.08.07 (fcef85e66b2b)
2026-09-02 15:37.20: Waiting for resource in pool day11-builds
2026-09-02 18:59.59: Got resource from pool day11-builds
2026-09-02 18:59.59: [profile full] build fstar.2025.08.07
2026-09-02 19:00.00: build fstar.2025.08.07 (fcef85e66b2b)
2026-09-02 20:33.42: FAILED: build fstar.2025.08.07
2026-09-02 20:33.42: Job failed: build failed: fstar.2025.08.07