| 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 |
| lexbailey | lexbailey/explore-subgoal | 2024-03-30T00:35:27.380195 | Fail | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/Total_Recall | 2024-03-30T00:32:50.780422 | 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 |
| lexbailey | lexbailey/interaction-trees | 2023-05-16T14:47:44.033558 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/UTP-Reactive | 2023-05-16T14:35:00.078145 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/UTP-Designs | 2023-05-16T14:31:34.795563 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/UTP | 2023-05-16T14:29:17.161748 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/Z_Machines | 2023-05-16T14:27:49.250188 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/Shallow-Expressions | 2023-05-16T14:08:22.759890 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/Z_Toolkit | 2023-05-16T14:05:40.561477 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/Optics | 2023-05-16T13:55:49.998360 | Success | 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 |
| lexbailey | lexbailey/utp-main | 2022-11-16T17:30:17.216912 | Fail | v6 | 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