deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-08-28/172350-github-check-run-set-status-78b42d	1	OK	-	2026-08-28 17:23:51	0 / 1s
2026-08-28/172205-git-fetch-bdaf74	0	OK	-	2026-08-28 17:23:50	0 / 1min45s
2026-08-28/172205-github-check-run-set-status-1d6589	0	OK	-	2026-08-28 17:22:06	0 / 1s
2026-08-27/142727-github-check-run-set-status-9393e6	1	OK	-	2026-08-27 14:27:28	0 / 1s
2026-08-27/142717-git-fetch-c7ab48	0	OK	-	2026-08-27 14:27:27	0 / 10s
2026-08-27/142717-github-check-run-set-status-3df6db	0	OK	-	2026-08-27 14:27:18	0 / 1s
2026-08-27/120659-github-check-run-set-status-ee1ba9	1	OK	-	2026-08-27 12:07:00	0 / 1s
2026-08-27/120651-git-fetch-da6610	0	OK	-	2026-08-27 12:06:59	0 / 8s
2026-08-27/120651-github-check-run-set-status-20bf54	0	OK	-	2026-08-27 12:06:52	0 / 1s
2026-08-27/065218-github-check-run-set-status-ea2113	1	OK	-	2026-08-27 06:52:19	0 / 1s
2026-08-27/065034-git-fetch-44978c	0	OK	-	2026-08-27 06:52:18	0 / 1min44s
2026-08-27/065034-github-check-run-set-status-f631b8	0	OK	-	2026-08-27 06:50:35	0 / 1s
2026-08-26/145516-github-check-run-set-status-aa8af3	1	OK	-	2026-08-26 14:55:17	0 / 1s
2026-08-26/145433-git-fetch-2f342c	0	OK	-	2026-08-26 14:55:16	0 / 43s
2026-08-26/145433-github-check-run-set-status-585534	0	OK	-	2026-08-26 14:54:34	0 / 1s
2026-08-24/135021-github-check-run-set-status-a0aa50	1	OK	-	2026-08-24 13:50:23	0 / 2s
2026-08-24/134959-git-fetch-f3aafe	0	OK	-	2026-08-24 13:50:21	0 / 22s
2026-08-24/134959-github-check-run-set-status-b83af9	0	OK	-	2026-08-24 13:50:00	0 / 1s
2026-08-22/121944-github-check-run-set-status-caab88	1	OK	-	2026-08-22 12:19:44	0 / 0
2026-08-22/121939-git-fetch-c2c8cd	0	OK	-	2026-08-22 12:19:44	0 / 5s
2026-08-22/121939-github-check-run-set-status-a74812	0	OK	-	2026-08-22 12:19:40	0 / 1s
2026-08-22/121024-github-check-run-set-status-bf8dca	1	OK	-	2026-08-22 12:10:25	0 / 1s
2026-08-22/121019-git-fetch-3d58fb	0	OK	-	2026-08-22 12:10:24	0 / 5s
2026-08-22/121019-github-check-run-set-status-bb1021	0	OK	-	2026-08-22 12:10:19	0 / 0
2026-08-22/111443-github-check-run-set-status-799d53	1	OK	-	2026-08-22 11:14:44	0 / 1s
2026-08-22/111427-git-fetch-1d6320	0	OK	-	2026-08-22 11:14:43	0 / 16s
2026-08-22/111427-github-check-run-set-status-7b83e9	0	OK	-	2026-08-22 11:14:28	0 / 1s
2026-08-21/224245-github-check-run-set-status-3a4922	1	OK	-	2026-08-21 22:42:46	0 / 1s
2026-08-21/224241-git-fetch-55dc43	0	OK	-	2026-08-21 22:42:45	0 / 4s
2026-08-21/224241-github-check-run-set-status-b3a374	0	OK	-	2026-08-21 22:42:42	0 / 1s
2026-08-21/222043-github-check-run-set-status-116eb4	1	OK	-	2026-08-21 22:20:44	0 / 1s
2026-08-21/222037-git-fetch-3c13d3	0	OK	-	2026-08-21 22:20:43	0 / 6s
2026-08-21/222037-github-check-run-set-status-aceda6	0	OK	-	2026-08-21 22:20:38	0 / 1s
2026-08-21/221234-github-check-run-set-status-57f90c	1	OK	-	2026-08-21 22:12:35	0 / 1s
2026-08-21/221225-git-fetch-a6694a	0	OK	-	2026-08-21 22:12:34	0 / 9s
2026-08-21/221225-github-check-run-set-status-f57af5	0	OK	-	2026-08-21 22:12:26	0 / 1s
2026-08-21/123451-github-check-run-set-status-de5d1e	1	OK	-	2026-08-21 12:34:52	0 / 1s
2026-08-21/123447-git-fetch-b9decc	0	OK	-	2026-08-21 12:34:51	0 / 4s
2026-08-21/123447-github-check-run-set-status-ac8644	0	OK	-	2026-08-21 12:34:48	0 / 1s
2026-08-21/121630-github-check-run-set-status-4ebc8a	1	OK	-	2026-08-21 12:16:31	0 / 1s
2026-08-21/121624-git-fetch-3f8593	0	OK	-	2026-08-21 12:16:30	0 / 6s
2026-08-21/121624-github-check-run-set-status-818f90	0	OK	-	2026-08-21 12:16:25	0 / 1s
2026-08-21/070507-github-check-run-set-status-4702d9	1	OK	-	2026-08-21 07:05:08	0 / 1s
2026-08-21/070454-git-fetch-b089e0	0	OK	-	2026-08-21 07:05:07	0 / 13s
2026-08-21/070454-github-check-run-set-status-87fb58	0	OK	-	2026-08-21 07:04:55	0 / 1s
2026-08-20/150025-github-check-run-set-status-65886e	1	OK	-	2026-08-20 15:00:26	0 / 1s
2026-08-20/150021-git-fetch-2da182	0	OK	-	2026-08-20 15:00:25	0 / 4s
2026-08-20/150021-github-check-run-set-status-283bec	0	OK	-	2026-08-20 15:00:22	0 / 1s
2026-08-20/111913-github-check-run-set-status-5eef56	1	OK	-	2026-08-20 11:19:15	0 / 2s
2026-08-20/111908-git-fetch-b558b4	0	OK	-	2026-08-20 11:19:13	0 / 5s
2026-08-20/111908-github-check-run-set-status-25992c	0	OK	-	2026-08-20 11:19:09	0 / 1s
2026-08-20/093218-github-check-run-set-status-6abe81	1	OK	-	2026-08-20 09:32:20	0 / 2s
2026-08-20/093212-git-fetch-56f55c	0	OK	-	2026-08-20 09:32:18	0 / 6s
2026-08-20/093212-github-check-run-set-status-1d9a66	0	OK	-	2026-08-20 09:32:13	0 / 1s
2026-08-20/001948-github-check-run-set-status-88ad9f	1	OK	-	2026-08-20 00:19:49	0 / 1s
2026-08-20/001940-git-fetch-6ca7fa	0	OK	-	2026-08-20 00:19:48	0 / 8s
2026-08-20/001940-github-check-run-set-status-d65916	0	OK	-	2026-08-20 00:19:40	0 / 0
2026-08-19/203443-github-check-run-set-status-4c2064	1	OK	-	2026-08-19 20:34:45	0 / 2s
2026-08-19/203437-git-fetch-a67816	0	OK	-	2026-08-19 20:34:43	0 / 6s
2026-08-19/203437-github-check-run-set-status-45ea77	0	OK	-	2026-08-19 20:34:38	0 / 1s
2026-08-19/201803-github-check-run-set-status-d36299	1	OK	-	2026-08-19 20:18:04	0 / 1s
2026-08-19/201758-git-fetch-91f8c0	0	OK	-	2026-08-19 20:18:03	0 / 5s
2026-08-19/201758-github-check-run-set-status-7f9617	0	OK	-	2026-08-19 20:17:59	0 / 1s
2026-08-19/171055-github-check-run-set-status-ce870c	1	OK	-	2026-08-19 17:10:56	0 / 1s
2026-08-19/171049-git-fetch-eb6b6a	0	OK	-	2026-08-19 17:10:55	0 / 6s
2026-08-19/171049-github-check-run-set-status-aa4956	0	OK	-	2026-08-19 17:10:50	0 / 1s
2026-08-19/155125-github-check-run-set-status-d2b0e4	1	OK	-	2026-08-19 15:51:26	0 / 1s
2026-08-19/155117-git-fetch-1d3d04	0	OK	-	2026-08-19 15:51:25	0 / 8s
2026-08-19/155117-github-check-run-set-status-d18380	0	OK	-	2026-08-19 15:51:18	0 / 1s
2026-08-19/145750-github-check-run-set-status-e620c2	1	OK	-	2026-08-19 14:57:51	0 / 1s
2026-08-19/145744-git-fetch-d15ec9	0	OK	-	2026-08-19 14:57:50	0 / 6s
2026-08-19/145744-github-check-run-set-status-699c96	0	OK	-	2026-08-19 14:57:45	0 / 1s
2026-08-19/121906-github-check-run-set-status-c60447	1	OK	-	2026-08-19 12:19:07	0 / 1s
2026-08-19/121855-git-fetch-ea4baa	0	OK	-	2026-08-19 12:19:06	0 / 11s
2026-08-19/121855-github-check-run-set-status-ed7561	0	OK	-	2026-08-19 12:18:56	0 / 1s
2026-08-18/222015-github-check-run-set-status-a57f5c	1	OK	-	2026-08-18 22:20:16	0 / 1s
2026-08-18/222009-git-fetch-5c57c1	0	OK	-	2026-08-18 22:20:15	0 / 6s
2026-08-18/222009-github-check-run-set-status-08bfe2	0	OK	-	2026-08-18 22:20:10	0 / 1s
2026-08-18/214148-github-check-run-set-status-341119	1	OK	-	2026-08-18 21:41:49	0 / 1s
2026-08-18/214141-git-fetch-c864c3	0	OK	-	2026-08-18 21:41:48	0 / 7s
2026-08-18/214141-github-check-run-set-status-1ba5eb	0	OK	-	2026-08-18 21:41:42	0 / 1s
2026-08-18/182751-github-check-run-set-status-740c01	1	OK	-	2026-08-18 18:27:52	0 / 1s
2026-08-18/182744-git-fetch-ede3ce	0	OK	-	2026-08-18 18:27:51	0 / 7s
2026-08-18/182744-github-check-run-set-status-d676cb	0	OK	-	2026-08-18 18:27:45	0 / 1s
2026-08-18/150555-github-check-run-set-status-39946f	1	OK	-	2026-08-18 15:05:57	0 / 2s
2026-08-18/150542-git-fetch-071e6e	0	OK	-	2026-08-18 15:05:55	0 / 13s
2026-08-18/150542-github-check-run-set-status-fc92c7	0	OK	-	2026-08-18 15:05:43	0 / 1s
2026-08-16/153532-github-check-run-set-status-e9d4a6	1	OK	-	2026-08-16 15:35:33	0 / 1s
2026-08-16/153525-git-fetch-721ebf	0	OK	-	2026-08-16 15:35:32	0 / 7s
2026-08-16/153525-github-check-run-set-status-18c377	0	OK	-	2026-08-16 15:35:26	0 / 1s
2026-08-16/153040-github-check-run-set-status-5ae002	1	OK	-	2026-08-16 15:30:41	0 / 1s
2026-08-16/153011-git-fetch-92ce03	0	OK	-	2026-08-16 15:30:40	0 / 29s
2026-08-16/153011-github-check-run-set-status-b6834b	0	OK	-	2026-08-16 15:30:12	0 / 1s
2026-08-15/105358-github-check-run-set-status-992224	1	OK	-	2026-08-15 10:53:59	0 / 1s
2026-08-15/104915-docker-compose-e4102b	0	OK	-	2026-08-15 10:53:58	0 / 4min43s
2026-08-15/104915-github-check-run-set-status-00f7c7	0	OK	-	2026-08-15 10:49:16	0 / 1s
2026-08-15/104904-git-fetch-4c9c6f	0	OK	-	2026-08-15 10:49:15	0 / 11s
2026-08-03/091719-github-check-run-set-status-b3ce52	1	OK	-	2026-08-03 09:17:20	0 / 1s
2026-08-03/091705-git-fetch-3a8779	0	OK	-	2026-08-03 09:17:19	0 / 14s
2026-08-03/091705-github-check-run-set-status-6df711	0	OK	-	2026-08-03 09:17:06	0 / 1s