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
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/explore-subgoal	2024-03-30T00:35:27.380195	Fail	v7	2022	GH \| Actions
lexbailey	lexbailey/Total_Recall	2024-03-30T00:32:50.780422	Fail	v7	2022	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
lexbailey	lexbailey/interaction-trees	2023-05-16T14:47:44.033558	Success	v7	2022	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/UTP-Reactive	2023-05-16T14:35:00.078145	Success	v7	2022	GH \| Actions
lexbailey	lexbailey/UTP-Designs	2023-05-16T14:31:34.795563	Success	v7	2022	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:29:17.161748	Success	v7	2022	GH \| Actions
lexbailey	lexbailey/UTP	2023-05-16T14:28:33.565596	Success	v7	2021-1	GH \| Actions
lexbailey	lexbailey/Z_Machines	2023-05-16T14:27:49.250188	Success	v7	2022	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/Shallow-Expressions	2023-05-16T14:08:22.759890	Success	v7	2022	GH \| Actions
lexbailey	lexbailey/Z_Toolkit	2023-05-16T14:05:40.561477	Success	v7	2022	GH \| Actions
lexbailey	lexbailey/Optics	2023-05-16T13:55:49.998360	Success	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
lexbailey	lexbailey/utp-main	2022-11-16T18:50:52.541306	Fail	v6	2021-1	GH \| Actions
lexbailey	lexbailey/utp-main	2022-11-16T17:30:17.216912	Fail	v6	2022	GH \| Actions
lexbailey	lexbailey/utp-main	2022-11-14T04:34:23.638362	Fail	unknown_version	unknown_version	GH \| Actions

Isabelle/UTP CI build dashboard

Latest builds