Isabelle/UTP CI build dashboard

Latest builds (filtered by isabelle version: 2021-1)

User Repo Last Build Time Build Status Builder version Isabelle version GH links
isabelle-utp isabelle-utp/interaction-trees 2024-10-08T14:08:13.068874 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Z_Machines 2024-09-05T15:41:47.975565 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/Z_Toolkit 2024-02-06T13:58:18.966591 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/UTP-Designs 2024-01-30T14:47:50.178687 Fail v7 2021-1 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/UTP 2023-10-31T16:15:44.096391 Fail v7 2021-1 GH | Actions
lexbailey lexbailey/interaction-trees 2023-05-16T14:46:27.801013 Success v7 2021-1 GH | Actions
lexbailey lexbailey/UTP-Reactive 2023-05-16T14:40:58.290250 Success v7 2021-1 GH | Actions
lexbailey lexbailey/Shallow-Expressions 2023-05-16T14:30:42.284703 Success v7 2021-1 GH | Actions
lexbailey lexbailey/Z_Machines 2023-05-16T14:30:13.966664 Success v7 2021-1 GH | Actions
lexbailey lexbailey/UTP 2023-05-16T14:28:33.565596 Success v7 2021-1 GH | Actions
lexbailey lexbailey/Z_Toolkit 2023-05-16T14:24:04.493820 Success v7 2021-1 GH | Actions
lexbailey lexbailey/UTP-Designs 2023-05-16T14:22:35.650961 Success v7 2021-1 GH | Actions
lexbailey lexbailey/explore-subgoal 2023-05-16T14:22:14.455730 Success v7 2021-1 GH | Actions
lexbailey lexbailey/Optics 2023-05-16T14:10:37.789409 Success v7 2021-1 GH | Actions
lexbailey lexbailey/Total_Recall 2023-05-16T14:10:14.246992 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/UTP-Reactive 2023-05-15T23:07:29.423587 Success v7 2021-1 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
lexbailey lexbailey/utp-main 2022-11-16T18:50:52.541306 Fail v6 2021-1 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