| User | Repo | Last Build Time | Build Status | Builder version | Isabelle version | GH links |
| 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 |
| 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 |
| 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