Isabelle/UTP CI build dashboard

Latest builds for repos by user: isabelle-utp

User Repo Last Build Time Build Status Builder version Isabelle version GH links
isabelle-utp isabelle-utp/Z_Toolkit 2024-12-06T13:07:16.626413 Fail v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-10-08T14:08:29.849299 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-10-08T14:08:13.068874 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Optics 2024-09-10T10:37:48.757625 Success v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/Z_Machines 2024-09-05T15:42:26.021271 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/Z_Machines 2024-09-05T15:41:47.975565 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-03-30T02:07:32.999632 Success v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/Total_Recall 2024-03-30T01:25:20.453380 Success v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/explore-subgoal 2024-03-30T01:22:57.320706 Success v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/Z_Toolkit 2024-02-06T13:58:18.966591 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Z_Toolkit 2024-02-06T13:47:32.251721 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/UTP-Designs 2024-01-30T14:47:50.178687 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/UTP-Designs 2024-01-30T14:47:43.046225 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-01-30T14:40:15.044995 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Optics 2024-01-30T14:38:31.465548 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/Optics 2024-01-30T14:28:55.989278 Fail v7 2022 GH | Actions
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-Reactive 2023-05-15T23:07:29.423587 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/UTP-Reactive 2023-05-15T23:06:04.244976 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/explore-subgoal 2023-05-15T22:42:38.140399 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Total_Recall 2023-05-15T22:42:15.933320 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Total_Recall 2023-05-15T22:27:32.833475 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/explore-subgoal 2023-05-15T22:21:11.898337 Success v7 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