Isabelle/UTP CI build dashboard

Latest builds for repos by user: lexbailey for isabelle version: 2021-1

User Repo Last Build Time Build Status Builder version Isabelle version GH links
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
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