User	Repo	Last Build Time	Build Status	Builder version	Isabelle version	GH links
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
isabelle-utp	isabelle-utp/Z_Machines	2024-08-06T19:46:14.230616	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-08-06T19:45:45.110167	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-30T14:07:25.936333	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-30T14:07:01.637175	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-19T11:55:45.403185	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-19T11:55:27.185975	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-17T11:42:57.117055	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-17T11:42:46.783334	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-17T11:26:59.698835	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-17T11:26:04.009614	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-17T11:24:36.973269	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-17T11:24:20.586140	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-10T15:30:26.339254	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-10T15:30:21.119156	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-09T15:02:06.777987	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-09T15:01:30.054224	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T20:35:34.308115	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T20:34:49.412802	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T16:41:15.586256	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T16:26:14.751682	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T16:16:02.366227	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T16:15:56.248756	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T10:37:59.849260	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-03T10:36:52.441489	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-02T08:37:23.785498	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-02T08:32:38.889616	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-01T20:39:44.475981	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-01T20:39:17.347068	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-01T13:03:13.743013	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-07-01T13:03:04.103006	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-06-28T16:24:02.187613	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-06-28T16:23:53.013491	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-06-28T15:44:36.907950	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-06-28T15:44:36.265570	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-06-24T11:09:09.216515	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-06-24T11:07:31.375446	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-22T16:57:48.268163	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-22T16:56:58.204496	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-22T16:56:30.381744	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-22T16:55:10.932470	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-16T12:05:28.569260	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-16T12:05:15.344317	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-15T16:16:30.408493	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2024-01-15T16:16:22.244584	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-06-06T16:14:17.003336	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-06-06T16:08:54.001880	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-06-05T14:22:54.558082	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-06-05T14:20:18.565788	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-06-05T11:00:16.335729	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-06-05T10:59:32.982313	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-23T16:50:00.634925	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-23T16:49:19.150520	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-23T14:56:23.822739	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-23T14:44:57.213594	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-22T21:07:34.957673	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-22T21:02:36.285990	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-22T10:51:27.015297	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-22T10:41:54.150815	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-22T08:51:44.391513	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-22T08:46:23.466196	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-16T14:35:46.121346	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Machines	2023-05-16T14:27:50.680457	Success	v7	2021-1	GH \| Actions

Isabelle/UTP CI build dashboard

Build log for repo: isabelle-utp/Z_Machines