deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-07-10/132704-github-check-run-set-status-6348fa	1	OK	-	2026-07-10 13:27:05	0 / 1s
2026-07-10/132700-git-fetch-e0bde6	0	OK	-	2026-07-10 13:27:04	0 / 4s
2026-07-10/132700-github-check-run-set-status-5d25df	0	OK	-	2026-07-10 13:27:01	0 / 1s
2026-07-10/123015-github-check-run-set-status-6c2a06	1	OK	-	2026-07-10 12:30:16	0 / 1s
2026-07-10/123010-git-fetch-ea7690	0	OK	-	2026-07-10 12:30:15	0 / 5s
2026-07-10/123010-github-check-run-set-status-412d43	0	OK	-	2026-07-10 12:30:10	0 / 0
2026-07-10/084959-github-check-run-set-status-e07955	1	OK	-	2026-07-10 08:50:00	0 / 1s
2026-07-10/084945-git-fetch-973087	0	OK	-	2026-07-10 08:49:59	0 / 14s
2026-07-10/084945-github-check-run-set-status-a2e929	0	OK	-	2026-07-10 08:49:46	0 / 1s
2026-07-09/204801-github-check-run-set-status-1ba521	1	OK	-	2026-07-09 20:48:02	0 / 1s
2026-07-09/204757-git-fetch-8b1b16	0	OK	-	2026-07-09 20:48:01	0 / 4s
2026-07-09/204757-github-check-run-set-status-a711f5	0	OK	-	2026-07-09 20:47:57	0 / 0
2026-07-09/133222-github-check-run-set-status-236096	1	OK	-	2026-07-09 13:32:23	0 / 1s
2026-07-09/133215-git-fetch-b67fba	0	OK	-	2026-07-09 13:32:22	0 / 7s
2026-07-09/133215-github-check-run-set-status-13055a	0	OK	-	2026-07-09 13:32:16	0 / 1s
2026-07-09/131839-github-check-run-set-status-f589a9	1	OK	-	2026-07-09 13:18:40	0 / 1s
2026-07-09/131833-git-fetch-bb4bf9	0	OK	-	2026-07-09 13:18:39	0 / 6s
2026-07-09/131833-github-check-run-set-status-9ada2b	0	OK	-	2026-07-09 13:18:34	0 / 1s
2026-07-09/124517-github-check-run-set-status-77404e	1	OK	-	2026-07-09 12:45:18	0 / 1s
2026-07-09/124513-git-fetch-bd492f	0	OK	-	2026-07-09 12:45:17	0 / 4s
2026-07-09/124513-github-check-run-set-status-743bec	0	OK	-	2026-07-09 12:45:14	0 / 1s
2026-07-09/105803-github-check-run-set-status-665225	1	OK	-	2026-07-09 10:58:04	0 / 1s
2026-07-09/105748-git-fetch-dbaea0	0	OK	-	2026-07-09 10:58:03	0 / 15s
2026-07-09/105748-github-check-run-set-status-af9e8f	0	OK	-	2026-07-09 10:57:49	0 / 1s
2026-07-08/222342-github-check-run-set-status-678e7d	1	OK	-	2026-07-08 22:23:43	0 / 1s
2026-07-08/222333-git-fetch-82efe8	0	OK	-	2026-07-08 22:23:42	0 / 9s
2026-07-08/222333-github-check-run-set-status-ed78d0	0	OK	-	2026-07-08 22:23:34	0 / 1s
2026-07-08/215015-github-check-run-set-status-6cb34d	1	OK	-	2026-07-08 21:50:16	0 / 1s
2026-07-08/215003-git-fetch-4abbbc	0	OK	-	2026-07-08 21:50:15	0 / 12s
2026-07-08/215003-github-check-run-set-status-f3848e	0	OK	-	2026-07-08 21:50:04	0 / 1s
2026-07-08/213641-github-check-run-set-status-0131fa	1	OK	-	2026-07-08 21:36:42	0 / 1s
2026-07-08/213637-git-fetch-6e730d	0	OK	-	2026-07-08 21:36:41	0 / 4s
2026-07-08/213637-github-check-run-set-status-9eb3fd	0	OK	-	2026-07-08 21:36:38	0 / 1s
2026-07-08/210841-github-check-run-set-status-409058	1	OK	-	2026-07-08 21:08:42	0 / 1s
2026-07-08/210836-git-fetch-eb59db	0	OK	-	2026-07-08 21:08:41	0 / 5s
2026-07-08/210836-github-check-run-set-status-303914	0	OK	-	2026-07-08 21:08:37	0 / 1s
2026-07-08/152636-github-check-run-set-status-564c7f	1	OK	-	2026-07-08 15:26:37	0 / 1s
2026-07-08/152630-git-fetch-5e2db2	0	OK	-	2026-07-08 15:26:36	0 / 6s
2026-07-08/152630-github-check-run-set-status-3ea0e6	0	OK	-	2026-07-08 15:26:31	0 / 1s
2026-07-08/135244-github-check-run-set-status-3f373d	1	OK	-	2026-07-08 13:52:45	0 / 1s
2026-07-08/135239-git-fetch-1e1403	0	OK	-	2026-07-08 13:52:44	0 / 5s
2026-07-08/135239-github-check-run-set-status-d8b1fe	0	OK	-	2026-07-08 13:52:40	0 / 1s
2026-07-08/133331-github-check-run-set-status-ef9c9f	1	OK	-	2026-07-08 13:33:33	0 / 2s
2026-07-08/133327-git-fetch-2d9a23	0	OK	-	2026-07-08 13:33:31	0 / 4s
2026-07-08/133327-github-check-run-set-status-607572	0	OK	-	2026-07-08 13:33:28	0 / 1s
2026-07-08/092559-github-check-run-set-status-c420d7	1	OK	-	2026-07-08 09:26:00	0 / 1s
2026-07-08/092552-git-fetch-980793	0	OK	-	2026-07-08 09:25:59	0 / 7s
2026-07-08/092552-github-check-run-set-status-fee420	0	OK	-	2026-07-08 09:25:53	0 / 1s
2026-07-07/225427-github-check-run-set-status-b105cb	1	OK	-	2026-07-07 22:54:28	0 / 1s
2026-07-07/225420-git-fetch-0861be	0	OK	-	2026-07-07 22:54:27	0 / 7s
2026-07-07/225420-github-check-run-set-status-a6a86a	0	OK	-	2026-07-07 22:54:21	0 / 1s
2026-07-07/223138-github-check-run-set-status-882b98	1	OK	-	2026-07-07 22:31:39	0 / 1s
2026-07-07/223133-git-fetch-0f92e7	0	OK	-	2026-07-07 22:31:38	0 / 5s
2026-07-07/223133-github-check-run-set-status-b55c39	0	OK	-	2026-07-07 22:31:33	0 / 0
2026-07-07/214643-github-check-run-set-status-9fd506	1	OK	-	2026-07-07 21:46:44	0 / 1s
2026-07-07/214639-git-fetch-08bb98	0	OK	-	2026-07-07 21:46:43	0 / 4s
2026-07-07/214639-github-check-run-set-status-943a7f	0	OK	-	2026-07-07 21:46:40	0 / 1s
2026-07-07/124743-github-check-run-set-status-e0d95b	1	OK	-	2026-07-07 12:47:44	0 / 1s
2026-07-07/124736-git-fetch-dcf29e	0	OK	-	2026-07-07 12:47:43	0 / 7s
2026-07-07/124736-github-check-run-set-status-98627e	0	OK	-	2026-07-07 12:47:37	0 / 1s
2026-07-07/115426-github-check-run-set-status-747b07	1	OK	-	2026-07-07 11:54:27	0 / 1s
2026-07-07/115419-git-fetch-a5cb00	0	OK	-	2026-07-07 11:54:26	0 / 7s
2026-07-07/115419-github-check-run-set-status-ca8ef9	0	OK	-	2026-07-07 11:54:21	0 / 2s
2026-07-07/072819-github-check-run-set-status-8a55c5	1	OK	-	2026-07-07 07:28:20	0 / 1s
2026-07-07/072815-git-fetch-d5c2df	0	OK	-	2026-07-07 07:28:19	0 / 4s
2026-07-07/072815-github-check-run-set-status-9376b3	0	OK	-	2026-07-07 07:28:16	0 / 1s
2026-07-07/072224-github-check-run-set-status-1fdfd4	1	OK	-	2026-07-07 07:22:25	0 / 1s
2026-07-07/072218-git-fetch-9960c6	0	OK	-	2026-07-07 07:22:24	0 / 6s
2026-07-07/072218-github-check-run-set-status-6f7181	0	OK	-	2026-07-07 07:22:19	0 / 1s
2026-07-06/223105-github-check-run-set-status-422821	1	OK	-	2026-07-06 22:31:06	0 / 1s
2026-07-06/223101-git-fetch-0b61e0	0	OK	-	2026-07-06 22:31:05	0 / 4s
2026-07-06/223101-github-check-run-set-status-aae747	0	OK	-	2026-07-06 22:31:02	0 / 1s
2026-07-06/122103-github-check-run-set-status-dd1a18	1	OK	-	2026-07-06 12:21:04	0 / 1s
2026-07-06/122057-git-fetch-dd6865	0	OK	-	2026-07-06 12:21:03	0 / 6s
2026-07-06/122057-github-check-run-set-status-a075ef	0	OK	-	2026-07-06 12:20:57	0 / 0
2026-07-05/183049-github-check-run-set-status-71fed7	1	OK	-	2026-07-05 18:30:50	0 / 1s
2026-07-05/183022-git-fetch-209ce0	0	OK	-	2026-07-05 18:30:49	0 / 27s
2026-07-05/183022-github-check-run-set-status-91b4fa	0	OK	-	2026-07-05 18:30:23	0 / 1s
2026-07-03/204639-github-check-run-set-status-de3fad	1	OK	-	2026-07-03 20:46:40	0 / 1s
2026-07-03/204635-git-fetch-cb3a4b	0	OK	-	2026-07-03 20:46:39	0 / 4s
2026-07-03/204635-github-check-run-set-status-a68334	0	OK	-	2026-07-03 20:46:35	0 / 0
2026-07-03/162820-github-check-run-set-status-e4b040	1	OK	-	2026-07-03 16:28:21	0 / 1s
2026-07-03/162815-git-fetch-435290	0	OK	-	2026-07-03 16:28:20	0 / 5s
2026-07-03/162815-github-check-run-set-status-2aee56	0	OK	-	2026-07-03 16:28:16	0 / 1s
2026-07-03/131546-github-check-run-set-status-88553c	1	OK	-	2026-07-03 13:15:47	0 / 1s
2026-07-03/131540-git-fetch-8dd89b	0	OK	-	2026-07-03 13:15:46	0 / 6s
2026-07-03/131540-github-check-run-set-status-c403bd	0	OK	-	2026-07-03 13:15:40	0 / 0
2026-07-03/130416-github-check-run-set-status-adbca6	1	OK	-	2026-07-03 13:04:17	0 / 1s
2026-07-03/130410-git-fetch-134b4e	0	OK	-	2026-07-03 13:04:16	0 / 6s
2026-07-03/130410-github-check-run-set-status-30ad63	0	OK	-	2026-07-03 13:04:11	0 / 1s
2026-07-03/082753-github-check-run-set-status-1170fb	1	OK	-	2026-07-03 08:27:55	0 / 2s
2026-07-03/082746-git-fetch-f3a8a9	0	OK	-	2026-07-03 08:27:53	0 / 7s
2026-07-03/082746-github-check-run-set-status-bfdfcf	0	OK	-	2026-07-03 08:27:47	0 / 1s
2026-07-03/081942-github-check-run-set-status-3bae68	1	OK	-	2026-07-03 08:19:43	0 / 1s
2026-07-03/081923-git-fetch-23e334	0	OK	-	2026-07-03 08:19:42	0 / 19s
2026-07-03/081923-github-check-run-set-status-8b6302	0	OK	-	2026-07-03 08:19:24	0 / 1s
2026-07-02/215719-github-check-run-set-status-09207c	1	OK	-	2026-07-02 21:57:20	0 / 1s
2026-07-02/215714-git-fetch-1accf9	0	OK	-	2026-07-02 21:57:19	0 / 5s
2026-07-02/215714-github-check-run-set-status-3238d1	0	OK	-	2026-07-02 21:57:14	0 / 0
2026-07-02/161842-github-check-run-set-status-584cbe	1	OK	-	2026-07-02 16:18:43	0 / 1s