deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-11-06/165413-github-check-run-set-status-15901e	1	OK	-	2026-11-06 16:54:14	0 / 1s
2026-11-06/165410-git-fetch-c6ffd2	0	OK	-	2026-11-06 16:54:13	0 / 3s
2026-11-06/165410-github-check-run-set-status-dacdcb	0	OK	-	2026-11-06 16:54:11	0 / 1s
2026-11-06/133612-github-check-run-set-status-868443	1	OK	-	2026-11-06 13:36:13	0 / 1s
2026-11-06/133608-git-fetch-c75012	0	OK	-	2026-11-06 13:36:12	0 / 4s
2026-11-06/133608-github-check-run-set-status-768d9b	0	OK	-	2026-11-06 13:36:09	0 / 1s
2026-11-06/130042-github-check-run-set-status-85bf31	1	OK	-	2026-11-06 13:00:43	0 / 1s
2026-11-06/130039-git-fetch-6b7d1c	0	OK	-	2026-11-06 13:00:42	0 / 3s
2026-11-06/130039-github-check-run-set-status-dedf7b	0	OK	-	2026-11-06 13:00:40	0 / 1s
2026-11-06/125414-github-check-run-set-status-9c279d	1	OK	-	2026-11-06 12:54:15	0 / 1s
2026-11-06/125410-git-fetch-b354a8	0	OK	-	2026-11-06 12:54:14	0 / 4s
2026-11-06/125410-github-check-run-set-status-5ff5a9	0	OK	-	2026-11-06 12:54:11	0 / 1s
2026-11-06/082712-github-check-run-set-status-c6a700	1	OK	-	2026-11-06 08:27:14	0 / 2s
2026-11-06/082710-git-fetch-9fd166	0	OK	-	2026-11-06 08:27:12	0 / 2s
2026-11-06/082710-github-check-run-set-status-0b8190	0	OK	-	2026-11-06 08:27:11	0 / 1s
2026-11-06/081313-github-check-run-set-status-0aef2e	1	OK	-	2026-11-06 08:13:14	0 / 1s
2026-11-06/081253-git-fetch-b1417d	0	OK	-	2026-11-06 08:13:13	0 / 20s
2026-11-06/081253-github-check-run-set-status-d573a6	0	OK	-	2026-11-06 08:12:54	0 / 1s
2026-11-05/150236-github-check-run-set-status-212b8d	1	OK	-	2026-11-05 15:02:37	0 / 1s
2026-11-05/150231-git-fetch-03bdfa	0	OK	-	2026-11-05 15:02:36	0 / 5s
2026-11-05/150231-github-check-run-set-status-831c02	0	OK	-	2026-11-05 15:02:32	0 / 1s
2026-11-05/140700-github-check-run-set-status-0b2891	1	OK	-	2026-11-05 14:07:01	0 / 1s
2026-11-05/140653-git-fetch-587810	0	OK	-	2026-11-05 14:07:00	0 / 7s
2026-11-05/140653-github-check-run-set-status-fe0d84	0	OK	-	2026-11-05 14:06:54	0 / 1s
2026-11-05/124125-github-check-run-set-status-cc24f8	1	OK	-	2026-11-05 12:41:27	0 / 2s
2026-11-05/124118-git-fetch-a73c1f	0	OK	-	2026-11-05 12:41:25	0 / 7s
2026-11-05/124118-github-check-run-set-status-02e69b	0	OK	-	2026-11-05 12:41:19	0 / 1s
2026-11-05/111637-github-check-run-set-status-836e59	1	OK	-	2026-11-05 11:16:38	0 / 1s
2026-11-05/111542-git-fetch-86a47c	0	OK	-	2026-11-05 11:16:37	0 / 55s
2026-11-05/111542-github-check-run-set-status-9d2960	0	OK	-	2026-11-05 11:15:44	0 / 2s
2026-11-04/234257-github-check-run-set-status-10ac74	1	OK	-	2026-11-04 23:42:58	0 / 1s
2026-11-04/234156-git-fetch-937142	0	OK	-	2026-11-04 23:42:56	0 / 1min
2026-11-04/234156-github-check-run-set-status-7c5edc	0	OK	-	2026-11-04 23:41:57	0 / 1s
2026-11-04/002103-github-check-run-set-status-6f2032	1	OK	-	2026-11-04 00:21:05	0 / 2s
2026-11-04/002058-git-fetch-0cc7b0	0	OK	-	2026-11-04 00:21:03	0 / 5s
2026-11-04/002058-github-check-run-set-status-0ee3b8	0	OK	-	2026-11-04 00:20:59	0 / 1s
2026-11-03/175409-github-check-run-set-status-0dcea1	1	OK	-	2026-11-03 17:54:10	0 / 1s
2026-11-03/175403-git-fetch-aa2ad1	0	OK	-	2026-11-03 17:54:09	0 / 6s
2026-11-03/175403-github-check-run-set-status-d3aa8c	0	OK	-	2026-11-03 17:54:04	0 / 1s
2026-11-03/154200-github-check-run-set-status-04a3f4	1	OK	-	2026-11-03 15:42:02	0 / 2s
2026-11-03/154039-git-fetch-07901e	0	OK	-	2026-11-03 15:42:00	0 / 1min21s
2026-11-03/154039-github-check-run-set-status-efa0e5	0	OK	-	2026-11-03 15:40:40	0 / 1s
2026-11-03/095410-github-check-run-set-status-37ba10	1	OK	-	2026-11-03 09:54:11	0 / 1s
2026-11-03/095406-git-fetch-959a85	0	OK	-	2026-11-03 09:54:10	0 / 4s
2026-11-03/095406-github-check-run-set-status-831093	0	OK	-	2026-11-03 09:54:07	0 / 1s
2026-11-03/094523-github-check-run-set-status-f8d5ef	1	OK	-	2026-11-03 09:45:24	0 / 1s
2026-11-03/094516-git-fetch-4b68a3	0	OK	-	2026-11-03 09:45:22	0 / 6s
2026-11-03/094516-github-check-run-set-status-b81788	0	OK	-	2026-11-03 09:45:17	0 / 1s
2026-11-02/223803-github-check-run-set-status-c195ca	1	OK	-	2026-11-02 22:38:05	0 / 2s
2026-11-02/223757-git-fetch-f0f18a	0	OK	-	2026-11-02 22:38:03	0 / 6s
2026-11-02/223757-github-check-run-set-status-434b71	0	OK	-	2026-11-02 22:37:58	0 / 1s
2026-11-02/160502-github-check-run-set-status-f25a37	1	OK	-	2026-11-02 16:05:03	0 / 1s
2026-11-02/160455-git-fetch-d2d4d5	0	OK	-	2026-11-02 16:05:02	0 / 7s
2026-11-02/160455-github-check-run-set-status-459f67	0	OK	-	2026-11-02 16:04:56	0 / 1s
2026-11-02/140422-github-check-run-set-status-335593	1	OK	-	2026-11-02 14:04:24	0 / 2s
2026-11-02/140417-git-fetch-2b83f7	0	OK	-	2026-11-02 14:04:22	0 / 5s
2026-11-02/140417-github-check-run-set-status-6fdce5	0	OK	-	2026-11-02 14:04:19	0 / 2s
2026-11-02/134520-github-check-run-set-status-377dcb	1	OK	-	2026-11-02 13:45:22	1s / 1s
2026-11-02/134520-github-check-run-set-status-690c29	1	OK	-	2026-11-02 13:45:21	0 / 1s
2026-11-02/134515-docker-build-fdc313	0	Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" "/tmp/git-checkout3badb59a" exited with status 1	-	2026-11-02 13:45:20	0 / 5s
2026-11-02/134515-github-check-run-set-status-29de7a	0	OK	-	2026-11-02 13:45:17	1s / 1s
2026-11-02/134515-github-check-run-set-status-42c22a	0	OK	-	2026-11-02 13:45:16	0 / 1s
2026-11-02/134514-git-fetch-fca9d1	0	OK	-	2026-11-02 13:45:15	0 / 1s
2026-11-02/134514-git-fetch-207eb8	0	OK	-	2026-11-02 13:45:15	0 / 1s
2026-11-02/134409-github-check-run-set-status-d5f0fe	1	OK	-	2026-11-02 13:44:10	0 / 1s
2026-11-02/134336-git-fetch-00d1b2	0	OK	-	2026-11-02 13:44:09	0 / 33s
2026-11-02/134336-github-check-run-set-status-219ac3	0	OK	-	2026-11-02 13:43:37	0 / 1s
2026-11-02/085325-github-check-run-set-status-a48822	2	OK	-	2026-11-02 08:53:27	1s / 1s
2026-11-02/085325-github-check-run-set-status-f049bb	2	OK	-	2026-11-02 08:53:26	0 / 1s
2026-11-02/085203-docker-build-d1ec81	0	Docker build exited with status 1	-	2026-11-02 08:53:25	0 / 1min22s
2026-11-02/085203-github-check-run-set-status-29019f	1	OK	-	2026-11-02 08:52:05	1s / 1s
2026-11-02/085203-github-check-run-set-status-1fc7f0	1	OK	-	2026-11-02 08:52:04	0 / 1s
2026-11-02/085200-git-fetch-07c573	0	OK	-	2026-11-02 08:52:03	0 / 3s
2026-11-02/085200-git-fetch-422a39	0	OK	-	2026-11-02 08:52:03	0 / 3s
2026-11-02/085200-github-check-run-set-status-21e2f4	0	OK	-	2026-11-02 08:52:02	1s / 1s
2026-11-02/085200-github-check-run-set-status-dc30f3	0	OK	-	2026-11-02 08:52:01	0 / 1s
2026-11-01/230259-github-check-run-set-status-df781f	1	OK	-	2026-11-01 23:03:00	0 / 1s
2026-11-01/230252-git-fetch-ee6b46	0	OK	-	2026-11-01 23:02:59	0 / 7s
2026-11-01/230252-github-check-run-set-status-eab8b1	0	OK	-	2026-11-01 23:02:53	0 / 1s
2026-11-01/223558-github-check-run-set-status-1dcc5f	1	OK	-	2026-11-01 22:35:59	0 / 1s
2026-11-01/223552-git-fetch-a3c279	0	OK	-	2026-11-01 22:35:58	0 / 6s
2026-11-01/223552-github-check-run-set-status-74b05c	0	OK	-	2026-11-01 22:35:53	0 / 1s
2026-11-01/220034-github-check-run-set-status-dafdae	1	OK	-	2026-11-01 22:00:36	0 / 2s
2026-11-01/220029-git-fetch-042676	0	OK	-	2026-11-01 22:00:34	0 / 5s
2026-11-01/220029-github-check-run-set-status-c9caf9	0	OK	-	2026-11-01 22:00:30	0 / 1s
2026-11-01/213848-github-check-run-set-status-658df6	1	OK	-	2026-11-01 21:38:49	0 / 1s
2026-11-01/213738-git-fetch-97e50b	0	OK	-	2026-11-01 21:38:48	0 / 1min10s
2026-11-01/213738-github-check-run-set-status-f77236	0	OK	-	2026-11-01 21:37:39	0 / 1s
2026-10-31/161210-github-check-run-set-status-30c7ab	1	OK	-	2026-10-31 16:12:11	0 / 1s
2026-10-31/161042-git-fetch-e1642d	0	OK	-	2026-10-31 16:12:10	0 / 1min28s
2026-10-31/161042-github-check-run-set-status-5d1579	0	OK	-	2026-10-31 16:10:43	0 / 1s
2026-10-31/142915-github-check-run-set-status-fecb0f	1	OK	-	2026-10-31 14:29:16	0 / 1s
2026-10-31/142714-docker-compose-ce04cf	0	OK	-	2026-10-31 14:29:15	0 / 2min1s
2026-10-31/142714-github-check-run-set-status-f76d6e	0	OK	-	2026-10-31 14:27:15	0 / 1s
2026-10-31/142713-git-fetch-3a4cf7	0	OK	-	2026-10-31 14:27:14	0 / 1s
2026-10-31/141554-github-check-run-set-status-1ca585	1	OK	-	2026-10-31 14:15:55	0 / 1s
2026-10-31/141350-docker-compose-87c15a	0	OK	-	2026-10-31 14:15:54	0 / 2min4s
2026-10-31/141350-github-check-run-set-status-21e874	0	OK	-	2026-10-31 14:13:51	0 / 1s
2026-10-31/141350-git-fetch-063f9c	0	OK	-	2026-10-31 14:13:50	0 / 0
2026-10-31/140909-github-check-run-set-status-214c7d	1	OK	-	2026-10-31 14:09:11	2s / 0