2026-09-03 22:19.06: New job: build fstar.2026.03.24 (a3fda7874158)
2026-09-03 22:19.06: Waiting for resource in pool day11-builds
2026-09-03 23:03.07: Got resource from pool day11-builds
2026-09-03 23:03.07: [profile full] build fstar.2026.03.24
2026-09-03 23:03.07: build fstar.2026.03.24 (a3fda7874158)
2026-09-03 23:25.32: FAILED: build fstar.2026.03.24
2026-09-03 23:25.32: Job failed: build failed: fstar.2026.03.24