User	Repo	Last Build Time	Build Status	Builder version	Isabelle version	GH links
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
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
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
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
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 for repos by user: lexbailey