Isabelle/UTP CI build dashboard

Build log for repo: isabelle-utp/interaction-trees

User Repo Last Build Time Build Status Builder version Isabelle version GH links
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/interaction-trees 2024-09-23T14:58:25.541816 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-23T14:57:28.844376 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-20T13:01:54.668664 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-20T13:01:12.471791 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-19T09:44:54.166046 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-19T09:44:30.916785 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-10T10:33:02.964748 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-10T10:32:19.505256 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T20:21:12.710526 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T20:16:20.011711 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T19:47:45.942553 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T19:46:56.000110 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T16:39:39.896556 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T16:38:33.965630 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T13:57:48.039072 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-09T13:57:23.748818 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-05T16:16:24.765425 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-05T16:16:09.412840 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-02T14:32:40.992606 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-09-02T14:32:34.495579 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-29T20:14:26.571585 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-29T20:14:24.572889 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-27T17:31:21.188426 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-27T17:30:10.347339 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-22T16:39:30.102583 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-22T16:39:18.487661 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-21T20:33:25.291695 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-08-21T20:32:15.544851 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-15T10:03:04.303225 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-15T10:02:49.564606 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-15T09:54:18.626029 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-15T09:54:14.996100 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-12T12:49:30.624540 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-12T12:49:13.303511 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-06T20:48:38.561768 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-06T20:48:04.916159 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-04T13:28:04.643907 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-04T12:46:54.604658 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-04T12:46:25.553220 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-04T12:46:17.857426 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-02T13:56:55.884298 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-02T13:55:45.738199 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T20:36:32.664494 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T20:36:18.101365 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T16:40:13.282550 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T16:38:37.987031 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T13:03:17.250576 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T13:01:38.685053 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T11:32:55.380171 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T11:32:13.015239 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T11:17:36.349053 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T11:17:20.156559 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T08:59:03.727973 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-07-01T08:58:56.862195 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-29T07:00:06.586683 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-29T07:00:06.231524 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-28T15:43:59.641915 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-28T15:43:49.290119 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-28T13:47:52.618187 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-28T13:47:39.665507 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-28T11:27:01.994726 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-28T11:27:00.341693 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-17T15:53:38.120848 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-17T15:53:34.524026 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-17T11:31:22.287954 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-17T11:31:14.295518 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-05T15:47:24.008302 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-06-05T15:47:09.387937 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-24T09:13:17.555881 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-24T09:09:21.912817 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-24T08:44:08.012335 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-24T08:44:05.073500 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-24T08:29:02.783191 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-24T08:28:46.414460 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-23T12:34:30.363963 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-23T12:32:35.448927 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-23T12:07:17.601003 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-23T12:07:11.377398 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-23T09:26:34.864946 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-23T09:26:09.990321 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-21T15:14:36.489301 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-05-21T15:14:26.982152 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-15T13:28:09.630119 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-15T13:27:10.581163 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-15T13:12:50.559664 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-15T13:12:44.069835 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-12T12:09:31.519631 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-12T11:56:10.309099 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-11T15:33:31.215339 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-11T15:33:16.813001 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-10T14:22:38.091815 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-04-10T14:22:21.552501 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-15T14:08:16.156891 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-15T14:07:41.025931 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-15T13:29:24.675305 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-15T13:28:50.963616 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T16:49:47.003039 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T16:49:20.175123 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T16:43:55.677373 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T16:43:43.603927 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T12:08:00.116680 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T12:07:56.975314 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T12:01:57.344775 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-02-01T12:01:06.822675 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-31T22:07:49.321049 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-31T22:07:34.665396 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-31T14:40:47.385951 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-31T14:40:17.579067 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-30T14:50:16.322782 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-30T14:48:44.279137 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-22T12:03:25.812109 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-22T12:01:53.929431 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-15T16:20:15.843816 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-15T16:18:03.891573 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-15T15:16:56.950259 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2024-01-15T15:15:53.288564 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-10-17T13:43:18.562399 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-10-17T13:36:19.524273 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-10-12T15:34:44.584854 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-10-12T15:32:56.818858 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-10-12T13:58:34.801118 Fail v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-10-12T13:58:02.582261 Fail v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-05-25T10:06:08.285778 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-05-25T10:05:20.854220 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-05-22T08:56:47.408399 Success v7 2022 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-05-22T08:43:21.282329 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-05-16T14:42:00.849851 Success v7 2021-1 GH | Actions
isabelle-utp isabelle-utp/interaction-trees 2023-05-16T14:40:10.122076 Success v7 2022 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