Isabelle/UTP CI build dashboard

Latest builds (filtered by isabelle version: unknown_version)

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/Optics 2024-09-10T10:37:48.757625 Success v8 unknown_version GH | Actions
lexbailey lexbailey/interaction-trees 2024-04-29T14:55:05.679764 Success v9 unknown_version GH | Actions
lexbailey lexbailey/Z_Machines 2024-03-30T02:58:30.717127 Fail v8 unknown_version GH | Actions
lexbailey lexbailey/UTP-Designs 2024-03-30T02:51:38.058771 Success v8 unknown_version GH | Actions
lexbailey lexbailey/UTP 2024-03-30T02:50:55.047477 Success v8 unknown_version GH | Actions
lexbailey lexbailey/UTP-Reactive 2024-03-30T02:45:21.620111 Fail v8 unknown_version GH | Actions
lexbailey lexbailey/Abstract_Prog_Syntax 2024-03-30T02:10:02.256134 Success v8 unknown_version GH | Actions
isabelle-utp isabelle-utp/Shallow-Expressions 2024-03-30T02:07:32.999632 Success v8 unknown_version GH | Actions
lexbailey lexbailey/Shallow-Expressions 2024-03-30T01:51:10.107827 Success v8 unknown_version GH | Actions
lexbailey lexbailey/Optics 2024-03-30T01:31:16.274231 Success v8 unknown_version GH | Actions
lexbailey lexbailey/Z_Toolkit 2024-03-30T01:31:05.331393 Success v8 unknown_version GH | Actions
lexbailey lexbailey/Total_Recall 2024-03-30T01:25:46.439435 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
lexbailey lexbailey/explore-subgoal 2024-03-30T00:49:48.992223 Success v8 unknown_version GH | Actions
lexbailey lexbailey/utp-main 2022-11-14T04:34:23.638362 Fail unknown_version unknown_version 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