2026-09-02 19:42.30: New job: build fstar.2025.08.07 (fcef85e66b2b)
2026-09-02 19:42.30: Waiting for resource in pool day11-builds
2026-09-02 19:45.00: Got resource from pool day11-builds
2026-09-02 19:45.00: [profile full] build fstar.2025.08.07
2026-09-02 19:45.00: build fstar.2025.08.07 (fcef85e66b2b)
2026-09-02 20:34.57: Job failed: Cancelled: File "lib_cache/current_cache.ml", line 522, characters 14-20: Assertion failed