| User | Repo | Last Build Time | Build Status | Builder version | Isabelle version | GH links |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T16:15:44.096391 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T16:15:26.074922 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T16:04:00.350873 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T15:59:46.667290 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T12:18:14.633657 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-31T12:12:49.807101 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-25T17:04:03.668213 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-25T16:53:26.339348 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-19T16:24:40.904985 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-19T16:23:10.873392 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-17T13:34:53.106773 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-17T13:34:50.374606 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-12T13:57:53.435869 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-10-12T13:55:51.434162 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-26T21:24:25.187582 | Success | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-26T21:04:22.733884 | Success | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-26T15:55:52.320927 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-26T15:38:31.377495 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-12T12:04:16.694585 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-12T12:03:22.792546 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-12T11:42:45.461986 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-12T11:42:39.866910 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-11T16:30:59.186130 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-11T16:30:53.949774 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-11T11:45:27.711292 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-11T11:44:36.669591 | Fail | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-06T15:55:50.213000 | Success | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-09-06T15:55:11.775553 | Success | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-05-18T02:14:22.156734 | Success | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-05-15T23:07:32.140833 | Success | v7 | 2022 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2023-05-15T22:35:32.273909 | Fail | v7 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2022-11-15T01:13:13.076612 | Success | v6 | 2021-1 | GH | Actions |
| isabelle-utp | isabelle-utp/UTP | 2022-11-15T01:12:01.582345 | 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