deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
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
2026-10-22/140110-github-check-run-set-status-8299ed	2	OK	-	2026-10-22 14:01:12	0 / 2s
2026-10-22/135726-docker-build-7daaa0	0	OK	-	2026-10-22 14:01:10	0 / 3min44s
2026-10-22/135728-github-check-run-set-status-475036	1	OK	-	2026-10-22 13:57:30	2s / 0
2026-10-22/135728-github-check-run-set-status-e9f049	1	OK	-	2026-10-22 13:57:30	1s / 1s
2026-10-22/135727-github-check-run-set-status-1e280f	1	OK	-	2026-10-22 13:57:29	1s / 1s
2026-10-22/135714-git-fetch-9ba578	0	OK	-	2026-10-22 13:57:28	0 / 14s
2026-10-22/135714-git-fetch-2a1c86	0	OK	-	2026-10-22 13:57:28	0 / 14s
2026-10-22/135726-github-check-run-set-status-2f4a1c	1	OK	-	2026-10-22 13:57:28	0 / 2s
2026-10-22/135714-git-fetch-175ee5	0	OK	-	2026-10-22 13:57:27	0 / 13s
2026-10-22/135714-git-fetch-93e497	0	OK	-	2026-10-22 13:57:26	0 / 12s
2026-10-22/135714-github-check-run-set-status-58f07e	0	OK	-	2026-10-22 13:57:19	4s / 1s
2026-10-22/135714-github-check-run-set-status-c83364	0	OK	-	2026-10-22 13:57:18	3s / 1s
2026-10-22/135714-github-check-run-set-status-f5d379	0	OK	-	2026-10-22 13:57:17	1s / 2s
2026-10-22/135714-github-check-run-set-status-e197e2	0	OK	-	2026-10-22 13:57:15	0 / 1s
2026-10-21/110553-github-check-run-set-status-6e5d67	1	OK	-	2026-10-21 11:05:54	0 / 1s
2026-10-21/110547-git-fetch-b3d4de	0	OK	-	2026-10-21 11:05:53	0 / 6s
2026-10-21/110547-github-check-run-set-status-6267bc	0	OK	-	2026-10-21 11:05:48	0 / 1s
2026-10-21/104900-github-check-run-set-status-83ae2c	1	OK	-	2026-10-21 10:49:02	0 / 2s
2026-10-21/104854-git-fetch-b7f122	0	OK	-	2026-10-21 10:49:00	0 / 6s
2026-10-21/104854-github-check-run-set-status-6a5954	0	OK	-	2026-10-21 10:48:55	0 / 1s
2026-10-21/101623-github-check-run-set-status-7a5512	1	OK	-	2026-10-21 10:16:24	0 / 1s
2026-10-21/101619-git-fetch-c9d720	0	OK	-	2026-10-21 10:16:23	0 / 4s
2026-10-21/101619-github-check-run-set-status-68a904	0	OK	-	2026-10-21 10:16:20	0 / 1s
2026-10-21/091017-github-check-run-set-status-01c2ae	1	OK	-	2026-10-21 09:10:19	0 / 2s
2026-10-21/090953-git-fetch-e297cb	0	OK	-	2026-10-21 09:10:17	0 / 24s
2026-10-21/090953-github-check-run-set-status-6d5eda	0	OK	-	2026-10-21 09:09:55	0 / 2s
2026-10-19/191329-github-check-run-set-status-98ea3a	1	OK	-	2026-10-19 19:13:31	0 / 2s
2026-10-19/191322-git-fetch-693e47	0	OK	-	2026-10-19 19:13:29	0 / 7s
2026-10-19/191322-github-check-run-set-status-aaa5a5	0	OK	-	2026-10-19 19:13:23	0 / 1s
2026-10-19/094246-github-check-run-set-status-b85725	1	OK	-	2026-10-19 09:42:48	0 / 2s
2026-10-19/094241-git-fetch-9b03c0	0	OK	-	2026-10-19 09:42:46	0 / 5s
2026-10-19/094241-github-check-run-set-status-cb951b	0	OK	-	2026-10-19 09:42:42	0 / 1s
2026-10-19/083050-github-check-run-set-status-c316d2	1	OK	-	2026-10-19 08:30:51	0 / 1s
2026-10-19/083017-git-fetch-189864	0	OK	-	2026-10-19 08:30:50	0 / 33s
2026-10-19/083017-github-check-run-set-status-f977fd	0	OK	-	2026-10-19 08:30:19	0 / 2s
2026-10-18/195355-github-check-run-set-status-48ec1b	1	OK	-	2026-10-18 19:53:56	0 / 1s
2026-10-18/195256-git-fetch-59cd27	0	OK	-	2026-10-18 19:53:55	0 / 59s
2026-10-18/195256-github-check-run-set-status-3f852a	0	OK	-	2026-10-18 19:52:57	0 / 1s
2026-10-17/151437-github-check-run-set-status-485187	1	OK	-	2026-10-17 15:14:38	0 / 1s
2026-10-17/151429-git-fetch-ed2689	0	OK	-	2026-10-17 15:14:37	0 / 8s
2026-10-17/151429-github-check-run-set-status-682f15	0	OK	-	2026-10-17 15:14:30	0 / 1s
2026-10-17/144332-github-check-run-set-status-6b4f68	1	OK	-	2026-10-17 14:43:33	0 / 1s
2026-10-17/144246-git-fetch-08f64a	0	OK	-	2026-10-17 14:43:32	0 / 46s
2026-10-17/144246-github-check-run-set-status-bfa2dd	0	OK	-	2026-10-17 14:42:47	0 / 1s
2026-10-16/192521-github-check-run-set-status-fd0be3	1	OK	-	2026-10-16 19:25:23	0 / 2s
2026-10-16/192515-git-fetch-bec9df	0	OK	-	2026-10-16 19:25:21	0 / 6s
2026-10-16/192515-github-check-run-set-status-77cde1	0	OK	-	2026-10-16 19:25:16	0 / 1s
2026-10-16/114706-github-check-run-set-status-1a2006	1	OK	-	2026-10-16 11:47:07	0 / 1s
2026-10-16/114702-git-fetch-053a02	0	OK	-	2026-10-16 11:47:06	0 / 4s
2026-10-16/114702-github-check-run-set-status-79d7ef	0	OK	-	2026-10-16 11:47:03	0 / 1s
2026-10-16/093818-github-check-run-set-status-42c580	1	OK	-	2026-10-16 09:38:19	0 / 1s
2026-10-16/093756-git-fetch-8b1a9b	0	OK	-	2026-10-16 09:38:18	0 / 22s
2026-10-16/093756-github-check-run-set-status-6a374e	0	OK	-	2026-10-16 09:37:57	0 / 1s
2026-10-15/202823-github-check-run-set-status-333c36	1	OK	-	2026-10-15 20:28:25	0 / 2s