User | Repo | Last Build Time | Build Status | Builder version | Isabelle version | GH links |
lexbailey | lexbailey/interaction-trees | 2023-05-16T14:46:27.801013 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/UTP-Reactive | 2023-05-16T14:40:58.290250 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/Shallow-Expressions | 2023-05-16T14:30:42.284703 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/Z_Machines | 2023-05-16T14:30:13.966664 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/UTP | 2023-05-16T14:28:33.565596 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/Z_Toolkit | 2023-05-16T14:24:04.493820 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/UTP-Designs | 2023-05-16T14:22:35.650961 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/explore-subgoal | 2023-05-16T14:22:14.455730 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/Optics | 2023-05-16T14:10:37.789409 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/Total_Recall | 2023-05-16T14:10:14.246992 | Success | v7 | 2021-1 | GH | Actions |
lexbailey | lexbailey/utp-main | 2022-11-16T18:50:52.541306 | Fail | v6 | 2021-1 | 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