| User | Repo | Last Build Time | Build Status | Builder version | Isabelle version | GH links |
| lexbailey | lexbailey/explore-subgoal | 2024-03-30T00:49:48.992223 | Success | v8 | unknown_version | GH | Actions |
| lexbailey | lexbailey/explore-subgoal | 2024-03-30T00:46:37.712355 | Success | v8 | unknown_version | GH | Actions |
| lexbailey | lexbailey/explore-subgoal | 2024-03-30T00:35:27.380195 | Fail | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/explore-subgoal | 2023-05-16T14:22:14.455730 | Success | v7 | 2021-1 | GH | Actions |
| lexbailey | lexbailey/explore-subgoal | 2023-05-16T14:09:33.377427 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/explore-subgoal | 2022-11-14T02:02:37.762250 | Success | v6 | 2021-1 | GH | Actions |
| lexbailey | lexbailey/explore-subgoal | 2022-11-14T01:47:08.469508 | Success | 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