| User | Repo | Last Build Time | Build Status | Builder version | Isabelle version | GH links |
| isabelle-utp | isabelle-utp/interaction-trees | 2024-10-08T14:08:29.849299 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/Z_Machines | 2024-09-05T15:42:26.021271 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/Z_Toolkit | 2024-02-06T13:47:32.251721 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP-Designs | 2024-01-30T14:47:43.046225 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/Shallow-Expressions | 2024-01-30T14:30:28.087234 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/Optics | 2024-01-30T14:28:55.989278 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T16:15:26.074922 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP-Reactive | 2023-05-15T23:06:04.244976 | Success | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/Total_Recall | 2023-05-15T22:27:32.833475 | Success | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/explore-subgoal | 2023-05-15T22:21:11.898337 | Success | v7 | 2022 | GH | Actions |
Show latest builds across all repos and all versions
Get all this data along with full github actions config file for each build from /raw_recent_data