deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-10-31/081959-github-check-run-set-status-00e998	1	OK	-	2026-10-31 08:20:01	0 / 2s
2026-10-31/081951-git-fetch-f34e56	0	OK	-	2026-10-31 08:19:59	0 / 8s
2026-10-31/081951-github-check-run-set-status-643c44	0	OK	-	2026-10-31 08:19:52	0 / 1s
2026-10-30/223402-github-check-run-set-status-8bfc60	1	OK	-	2026-10-30 22:34:03	0 / 1s
2026-10-30/223358-git-fetch-e2b09d	0	OK	-	2026-10-30 22:34:02	0 / 4s
2026-10-30/223358-github-check-run-set-status-9e7a69	0	OK	-	2026-10-30 22:33:59	0 / 1s
2026-10-30/175721-github-check-run-set-status-85a1a0	1	OK	-	2026-10-30 17:57:23	0 / 2s
2026-10-30/175716-git-fetch-f525a1	0	OK	-	2026-10-30 17:57:21	0 / 5s
2026-10-30/175716-github-check-run-set-status-d0fc00	0	OK	-	2026-10-30 17:57:17	0 / 1s
2026-10-30/172737-github-check-run-set-status-90b987	1	OK	-	2026-10-30 17:27:38	0 / 1s
2026-10-30/172731-git-fetch-933c69	0	OK	-	2026-10-30 17:27:37	0 / 6s
2026-10-30/172731-github-check-run-set-status-70f175	0	OK	-	2026-10-30 17:27:32	0 / 1s
2026-10-30/091521-github-check-run-set-status-e56466	1	OK	-	2026-10-30 09:15:22	0 / 1s
2026-10-30/091517-git-fetch-a27bd5	0	OK	-	2026-10-30 09:15:21	0 / 4s
2026-10-30/091517-github-check-run-set-status-288588	0	OK	-	2026-10-30 09:15:18	0 / 1s
2026-10-30/084629-github-check-run-set-status-b60e82	1	OK	-	2026-10-30 08:46:30	0 / 1s
2026-10-30/084625-git-fetch-8e4cde	0	OK	-	2026-10-30 08:46:29	0 / 4s
2026-10-30/084625-github-check-run-set-status-cd8931	0	OK	-	2026-10-30 08:46:26	0 / 1s
2026-10-30/082110-github-check-run-set-status-dc5842	1	OK	-	2026-10-30 08:21:12	0 / 2s
2026-10-30/082058-git-fetch-74d063	0	OK	-	2026-10-30 08:21:10	0 / 12s
2026-10-30/082058-github-check-run-set-status-b4aab8	0	OK	-	2026-10-30 08:20:59	0 / 1s
2026-10-29/211122-github-check-run-set-status-614068	1	OK	-	2026-10-29 21:11:23	0 / 1s
2026-10-29/211115-git-fetch-069142	0	OK	-	2026-10-29 21:11:22	0 / 7s
2026-10-29/211115-github-check-run-set-status-ba1649	0	OK	-	2026-10-29 21:11:16	0 / 1s
2026-10-29/175956-github-check-run-set-status-33ec86	1	OK	-	2026-10-29 17:59:57	0 / 1s
2026-10-29/175950-git-fetch-976d37	0	OK	-	2026-10-29 17:59:56	0 / 6s
2026-10-29/175950-github-check-run-set-status-c6c72b	0	OK	-	2026-10-29 17:59:51	0 / 1s
2026-10-29/142603-github-check-run-set-status-d8575b	1	OK	-	2026-10-29 14:26:04	0 / 1s
2026-10-29/142557-git-fetch-3cc227	0	OK	-	2026-10-29 14:26:03	0 / 6s
2026-10-29/142557-github-check-run-set-status-5e485f	0	OK	-	2026-10-29 14:25:58	0 / 1s
2026-10-29/134932-github-check-run-set-status-79983c	1	OK	-	2026-10-29 13:49:33	0 / 1s
2026-10-29/134929-git-fetch-c29faf	0	OK	-	2026-10-29 13:49:32	0 / 3s
2026-10-29/134929-github-check-run-set-status-bfd4b3	0	OK	-	2026-10-29 13:49:30	0 / 1s
2026-10-29/133234-github-check-run-set-status-6dd708	1	OK	-	2026-10-29 13:32:35	0 / 1s
2026-10-29/133159-git-fetch-b1f449	0	OK	-	2026-10-29 13:32:34	0 / 35s
2026-10-29/133159-github-check-run-set-status-c9e40e	0	OK	-	2026-10-29 13:32:00	0 / 1s
2026-10-28/222608-github-check-run-set-status-0aa7bb	1	OK	-	2026-10-28 22:26:09	0 / 1s
2026-10-28/222601-git-fetch-9f944f	0	OK	-	2026-10-28 22:26:08	0 / 7s
2026-10-28/222601-github-check-run-set-status-69e35c	0	OK	-	2026-10-28 22:26:02	0 / 1s
2026-10-28/181501-github-check-run-set-status-589ade	1	OK	-	2026-10-28 18:15:02	0 / 1s
2026-10-28/181456-git-fetch-f040e7	0	OK	-	2026-10-28 18:15:01	0 / 5s
2026-10-28/181456-github-check-run-set-status-cf4cd2	0	OK	-	2026-10-28 18:14:57	0 / 1s
2026-10-28/161514-github-check-run-set-status-5e3bdc	1	OK	-	2026-10-28 16:15:15	0 / 1s
2026-10-28/161503-git-fetch-623489	0	OK	-	2026-10-28 16:15:14	0 / 11s
2026-10-28/161503-github-check-run-set-status-adec2c	0	OK	-	2026-10-28 16:15:04	0 / 1s
2026-10-27/114047-github-check-run-set-status-547e8a	1	OK	-	2026-10-27 11:40:48	0 / 1s
2026-10-27/114039-git-fetch-ebe6f0	0	OK	-	2026-10-27 11:40:47	0 / 8s
2026-10-27/114039-github-check-run-set-status-ba6b4c	0	OK	-	2026-10-27 11:40:40	0 / 1s
2026-10-26/150310-github-check-run-set-status-a3e357	1	OK	-	2026-10-26 15:03:12	0 / 2s
2026-10-26/150304-git-fetch-beeea8	0	OK	-	2026-10-26 15:03:10	0 / 6s
2026-10-26/150304-github-check-run-set-status-2b8dc7	0	OK	-	2026-10-26 15:03:05	0 / 1s
2026-10-26/122456-github-check-run-set-status-1bfa6e	1	OK	-	2026-10-26 12:24:58	0 / 2s
2026-10-26/122437-git-fetch-00f190	0	OK	-	2026-10-26 12:24:56	0 / 18s
2026-10-26/122438-github-check-run-set-status-a1aa6e	0	OK	-	2026-10-26 12:24:39	0 / 1s
2026-10-23/114658-github-check-run-set-status-8aee27	1	OK	-	2026-10-23 11:47:02	0 / 4s
2026-10-23/114653-git-fetch-ab8e39	0	OK	-	2026-10-23 11:46:58	0 / 5s
2026-10-23/114653-github-check-run-set-status-5f256c	0	OK	-	2026-10-23 11:46:54	0 / 1s
2026-10-23/111856-github-check-run-set-status-eea31f	1	OK	-	2026-10-23 11:18:58	0 / 2s
2026-10-23/111851-git-fetch-4ae2ec	0	OK	-	2026-10-23 11:18:56	0 / 5s
2026-10-23/111851-github-check-run-set-status-744e80	0	OK	-	2026-10-23 11:18:52	0 / 1s
2026-10-23/105316-github-check-run-set-status-cf3371	1	OK	-	2026-10-23 10:53:17	0 / 1s
2026-10-23/105311-git-fetch-30f2f9	0	OK	-	2026-10-23 10:53:16	0 / 5s
2026-10-23/105311-github-check-run-set-status-09d148	0	OK	-	2026-10-23 10:53:12	0 / 1s
2026-10-23/101005-github-check-run-set-status-dab62b	1	OK	-	2026-10-23 10:10:06	0 / 1s
2026-10-23/100925-git-fetch-f3c70f	0	OK	-	2026-10-23 10:10:05	0 / 40s
2026-10-23/100925-github-check-run-set-status-0325c9	0	OK	-	2026-10-23 10:09:26	0 / 1s
2026-10-22/160833-github-check-run-set-status-ec948a	2	OK	-	2026-10-22 16:08:35	1s / 1s
2026-10-22/160833-github-check-run-set-status-774597	2	OK	-	2026-10-22 16:08:34	0 / 1s
2026-10-22/160619-docker-build-e2a4e1	0	OK	-	2026-10-22 16:08:33	0 / 2min14s
2026-10-22/160620-github-check-run-set-status-d87816	1	OK	-	2026-10-22 16:06:21	0 / 1s
2026-10-22/160619-github-check-run-set-status-e1ad84	1	OK	-	2026-10-22 16:06:20	0 / 1s
2026-10-22/160618-git-fetch-9ea84c	0	OK	-	2026-10-22 16:06:20	0 / 2s
2026-10-22/160618-github-check-run-set-status-520024	0	OK	-	2026-10-22 16:06:19	1s / 0
2026-10-22/160617-git-fetch-ace8a4	0	OK	-	2026-10-22 16:06:19	0 / 2s
2026-10-22/160618-github-check-run-set-status-bce3a7	0	OK	-	2026-10-22 16:06:18	0 / 0
2026-10-22/155510-github-check-run-set-status-b5ea8b	1	OK	-	2026-10-22 15:55:13	2s / 1s
2026-10-22/155510-github-check-run-set-status-4db301	1	OK	-	2026-10-22 15:55:12	0 / 2s
2026-10-22/155300-docker-build-277ce3	0	OK	-	2026-10-22 15:55:10	0 / 2min10s
2026-10-22/155300-github-check-run-set-status-cb3c39	0	OK	-	2026-10-22 15:53:02	1s / 1s
2026-10-22/155300-github-check-run-set-status-0231a6	0	OK	-	2026-10-22 15:53:01	0 / 1s
2026-10-22/155258-git-fetch-0b18d4	0	OK	-	2026-10-22 15:53:00	0 / 2s
2026-10-22/155258-git-fetch-7ffac8	0	OK	-	2026-10-22 15:53:00	0 / 2s
2026-10-22/153825-github-check-run-set-status-7ea5ac	1	OK	-	2026-10-22 15:38:27	1s / 1s
2026-10-22/153825-github-check-run-set-status-e42fb4	1	OK	-	2026-10-22 15:38:26	0 / 1s
2026-10-22/153601-docker-build-bc2ed5	0	OK	-	2026-10-22 15:38:25	0 / 2min24s
2026-10-22/153601-github-check-run-set-status-bcd7d1	0	OK	-	2026-10-22 15:36:04	2s / 1s
2026-10-22/153601-github-check-run-set-status-b362f8	0	OK	-	2026-10-22 15:36:03	0 / 2s
2026-10-22/153600-git-fetch-404c69	0	OK	-	2026-10-22 15:36:01	0 / 1s
2026-10-22/153600-git-fetch-702562	0	OK	-	2026-10-22 15:36:01	0 / 1s
2026-10-22/150413-github-check-run-set-status-1374e0	0	OK	-	2026-10-22 15:04:15	1s / 1s
2026-10-22/150412-github-check-run-set-status-c58196	1	OK	-	2026-10-22 15:04:14	1s / 1s
2026-10-22/150412-docker-build-7836f0	0	Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" "/tmp/git-checkout18fce439" exited with status 1	-	2026-10-22 15:04:12	0 / 0
2026-10-22/150411-git-fetch-17a684	0	OK	-	2026-10-22 15:04:12	0 / 1s
2026-10-22/150411-git-fetch-32538a	0	OK	-	2026-10-22 15:04:12	0 / 1s
2026-10-22/150411-github-check-run-set-status-b8cfec	0	OK	Needs rebuild	2026-10-22 15:04:11	0 / 0
2026-10-22/140618-github-check-run-set-status-9b3792	2	OK	-	2026-10-22 14:06:20	1s / 1s
2026-10-22/140618-github-check-run-set-status-203a4b	2	OK	-	2026-10-22 14:06:19	0 / 1s
2026-10-22/135728-docker-build-c0c0b6	0	Docker build exited with status 20	-	2026-10-22 14:06:18	6min8s / 2min42s
2026-10-22/140336-github-check-run-set-status-99d56f	2	OK	-	2026-10-22 14:03:37	0 / 1s
2026-10-22/135727-docker-build-70ccb6	0	OK	-	2026-10-22 14:03:36	3min43s / 2min26s