Pipeline and ML runs
Recent UI-triggered academic runs with linked stage flow.
| Run | Status | Mode | Started | Finished | Stages | |
|---|---|---|---|---|---|---|
| #17 | success | proof_build_manual | 2026-03-22 03:22 | 2026-03-22 03:22 | 7 | Open |
| #16 | success | proof_build_manual | 2026-03-21 10:24 | 2026-03-21 10:24 | 7 | Open |
| #15 | success | proof_build_manual | 2026-03-20 14:22 | 2026-03-20 14:22 | 7 | Open |
| #14 | success | proof_build_manual | 2026-03-18 19:01 | 2026-03-18 19:01 | 7 | Open |
| #13 | success | proof_build_manual | 2026-03-18 18:41 | 2026-03-18 18:41 | 7 | Open |
| #12 | success | proof_build_manual | 2026-03-08 20:55 | 2026-03-08 20:55 | 7 | Open |
| #11 | success | proof_build_manual | 2026-03-08 20:47 | 2026-03-08 20:48 | 7 | Open |
| #10 | success | proof_build_manual | 2026-03-08 18:17 | 2026-03-08 18:17 | 7 | Open |
| #9 | success | proof_build_manual | 2026-03-08 20:40 | 2026-03-08 20:40 | 7 | Open |
| #8 | success | proof_build_manual | 2026-03-08 15:28 | 2026-03-08 15:29 | 7 | Open |
| #7 | success | proof_build_manual | 2026-03-08 15:26 | 2026-03-08 15:27 | 7 | Open |
| #6 | success | proof_build_manual | 2026-03-06 22:20 | 2026-03-06 22:21 | 7 | Open |
| #5 | success | proof_build_manual | 2026-03-06 20:58 | 2026-03-06 20:59 | 7 | Open |
| #4 | success | proof_build_manual | 2026-03-06 18:59 | 2026-03-06 19:00 | 7 | Open |
| #3 | success | proof_build_manual | 2026-03-06 13:50 | 2026-03-06 13:51 | 7 | Open |
| #2 | success | proof_build_manual | 2026-03-06 13:50 | 2026-03-06 13:51 | 7 | Open |
| #1 | success | proof_build_manual | 2026-03-06 13:49 | 2026-03-06 13:50 | 7 | Open |