Isabelle/UTP CI build dashboard

Build log for repo: isabelle-utp/Shallow-Expressions

User Repo Last Build Time Build Status Builder version Isabelle version GH links
isabelle-utp isabelle-utp/Shallow-Expressions 2024-03-30T02:07:32.999632 Success v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-01-30T14:40:15.044995 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-01-30T14:30:28.087234 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-01-16T09:58:18.954473 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-01-16T09:48:31.203994 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-28T21:17:41.151947 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-28T20:51:19.586847 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-11T11:51:30.435523 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-11T11:39:24.221798 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-11T11:35:14.172109 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-11T11:25:08.951174 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-11T11:23:38.386797 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-09-11T11:21:05.056882 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-05-15T23:03:41.635015 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-05-15T22:41:26.594413 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-04-20T20:23:34.580124 Success v6 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-04-20T20:07:53.969952 Success v6 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-02-23T16:15:23.652120 Success v6 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2023-02-23T16:02:33.415558 Success v6 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2022-11-14T19:32:41.962297 Success v6 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2022-11-14T19:19:43.975927 Success v6 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2022-11-14T19:14:45.532653 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