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/Z_Toolkit	2024-09-10T10:39:07.543230	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-07-02T14:02:56.963791	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-07-02T13:54:06.732008	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-06-21T11:15:24.417956	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-06-21T09:57:00.783395	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-06-04T11:04:08.019335	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-06-03T21:09:13.777643	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-05-24T09:15:35.219961	Success	v8	unknown_version	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-03-30T01:47:32.251895	Success	v8	unknown_version	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/Z_Toolkit	2024-02-05T14:50:48.097750	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-02-05T14:41:12.170338	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-01-22T11:43:13.222526	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-01-22T11:33:32.500241	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-01-15T15:53:18.761790	Fail	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2024-01-15T15:36:11.518827	Fail	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-05-15T22:57:52.918989	Success	v7	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-05-15T22:38:34.156145	Success	v7	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-05-12T13:23:48.746809	Success	v6	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-05-12T13:03:22.885756	Success	v6	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-05-05T16:43:35.216027	Success	v6	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-05-05T16:20:54.723703	Success	v6	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-03-06T10:45:36.009182	Success	v6	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-03-06T10:29:57.951416	Success	v6	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-01-31T16:23:56.532629	Success	v6	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-01-31T16:23:14.960438	Success	v6	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-01-31T16:08:14.577917	Success	v6	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2023-01-31T16:07:50.606553	Success	v6	2022	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2022-11-14T17:45:58.402713	Success	v6	2021-1	GH \| Actions
isabelle-utp	isabelle-utp/Z_Toolkit	2022-11-14T17:30:14.365482	Success	v6	2022	GH \| Actions

Isabelle/UTP CI build dashboard

Build log for repo: isabelle-utp/Z_Toolkit