| User | Repo | Last Build Time | Build Status | Builder version | Isabelle version | GH links |
| lexbailey | lexbailey/Optics | 2024-03-30T01:31:16.274231 | Success | v8 | unknown_version | GH | Actions |
| lexbailey | lexbailey/Optics | 2024-03-30T00:16:17.277509 | Success | v8 | unknown_version | GH | Actions |
| lexbailey | lexbailey/Optics | 2024-03-29T23:58:45.976801 | Success | main | unknown_version | GH | Actions |
| lexbailey | lexbailey/Optics | 2023-05-16T14:10:37.789409 | Success | v7 | 2021-1 | GH | Actions |
| lexbailey | lexbailey/Optics | 2023-05-16T13:55:49.998360 | Success | v7 | 2022 | GH | Actions |
| lexbailey | lexbailey/Optics | 2022-11-14T03:16:07.995965 | Success | v6 | 2021-1 | GH | Actions |
| lexbailey | lexbailey/Optics | 2022-11-14T03:01:38.919396 | Success | v6 | 2022 | GH | Actions |
| lexbailey | lexbailey/Optics | 2022-11-14T02:22:38.968748 | Success | main | 2021-1 | GH | Actions |
| lexbailey | lexbailey/Optics | 2022-11-14T02:05:41.960103 | Success | unknown_version | unknown_version | GH | Actions |
| lexbailey | lexbailey/Optics | 2022-11-14T02:05:21.650285 | Success | main | 2022 | GH | Actions |
| lexbailey | lexbailey/Optics | 2022-11-14T01:51:23.292463 | Success | unknown_version | unknown_version | 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