deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-07-17/162039-github-check-run-set-status-ab8e4b	1	OK	-	2026-07-17 16:20:41	0 / 2s
2026-07-17/162032-git-fetch-d9ee20	0	OK	-	2026-07-17 16:20:39	0 / 7s
2026-07-17/162032-github-check-run-set-status-40fef9	0	OK	-	2026-07-17 16:20:33	0 / 1s
2026-07-17/082639-github-check-run-set-status-5997c5	1	OK	-	2026-07-17 08:26:40	0 / 1s
2026-07-17/082632-git-fetch-701abf	0	OK	-	2026-07-17 08:26:39	0 / 7s
2026-07-17/082632-github-check-run-set-status-3b3913	0	OK	-	2026-07-17 08:26:33	0 / 1s
2026-07-16/162443-github-check-run-set-status-82df4e	1	OK	-	2026-07-16 16:24:44	0 / 1s
2026-07-16/162440-git-fetch-75c680	0	OK	-	2026-07-16 16:24:43	0 / 3s
2026-07-16/162440-github-check-run-set-status-1bde2d	0	OK	-	2026-07-16 16:24:41	0 / 1s
2026-07-16/151754-github-check-run-set-status-cb59e8	1	OK	-	2026-07-16 15:17:55	0 / 1s
2026-07-16/151749-git-fetch-7c0cf5	0	OK	-	2026-07-16 15:17:54	0 / 5s
2026-07-16/151749-github-check-run-set-status-3a3871	0	OK	-	2026-07-16 15:17:50	0 / 1s
2026-07-16/123450-github-check-run-set-status-cb566a	1	OK	-	2026-07-16 12:34:51	0 / 1s
2026-07-16/123442-git-fetch-0ac56d	0	OK	-	2026-07-16 12:34:50	0 / 8s
2026-07-16/123442-github-check-run-set-status-721fc3	0	OK	-	2026-07-16 12:34:43	0 / 1s
2026-07-16/080017-github-check-run-set-status-6b3d87	1	OK	-	2026-07-16 08:00:18	0 / 1s
2026-07-16/080009-git-fetch-c5eabd	0	OK	-	2026-07-16 08:00:17	0 / 8s
2026-07-16/080009-github-check-run-set-status-fcbc47	0	OK	-	2026-07-16 08:00:10	0 / 1s
2026-07-15/134617-github-check-run-set-status-08d5a0	1	OK	-	2026-07-15 13:46:18	0 / 1s
2026-07-15/134613-git-fetch-f8c0d0	0	OK	-	2026-07-15 13:46:17	0 / 4s
2026-07-15/134613-github-check-run-set-status-5baf1e	0	OK	-	2026-07-15 13:46:14	0 / 1s
2026-07-15/115602-github-check-run-set-status-511aa2	1	OK	-	2026-07-15 11:56:04	0 / 2s
2026-07-15/115557-git-fetch-945229	0	OK	-	2026-07-15 11:56:02	0 / 5s
2026-07-15/115557-github-check-run-set-status-5b1e34	0	OK	-	2026-07-15 11:55:58	0 / 1s
2026-07-15/110100-github-check-run-set-status-2b2555	1	OK	-	2026-07-15 11:01:01	0 / 1s
2026-07-15/110053-git-fetch-a3d54d	0	OK	-	2026-07-15 11:01:00	0 / 7s
2026-07-15/110053-github-check-run-set-status-048535	0	OK	-	2026-07-15 11:00:53	0 / 0
2026-07-15/100114-github-check-run-set-status-37c22f	1	OK	-	2026-07-15 10:01:15	0 / 1s
2026-07-15/100106-git-fetch-1cd30d	0	OK	-	2026-07-15 10:01:14	0 / 8s
2026-07-15/100106-github-check-run-set-status-e71bda	0	OK	-	2026-07-15 10:01:07	0 / 1s
2026-07-13/105837-github-check-run-set-status-daeae9	1	OK	-	2026-07-13 10:58:38	0 / 1s
2026-07-13/105830-git-fetch-03834c	0	OK	-	2026-07-13 10:58:37	0 / 7s
2026-07-13/105830-github-check-run-set-status-c8af31	0	OK	-	2026-07-13 10:58:31	0 / 1s
2026-07-13/095235-github-check-run-set-status-60ccd1	1	OK	-	2026-07-13 09:52:36	0 / 1s
2026-07-13/095232-git-fetch-f2e70e	0	OK	-	2026-07-13 09:52:35	0 / 3s
2026-07-13/095232-github-check-run-set-status-d904e7	0	OK	-	2026-07-13 09:52:33	0 / 1s
2026-07-13/094409-github-check-run-set-status-3e2514	1	OK	-	2026-07-13 09:44:10	0 / 1s
2026-07-13/094405-git-fetch-22afec	0	OK	-	2026-07-13 09:44:09	0 / 4s
2026-07-13/094405-github-check-run-set-status-801fe7	0	OK	-	2026-07-13 09:44:06	0 / 1s
2026-07-13/084905-github-check-run-set-status-aaf382	1	OK	-	2026-07-13 08:49:06	0 / 1s
2026-07-13/084723-git-fetch-c12a78	0	OK	-	2026-07-13 08:49:05	0 / 1min42s
2026-07-13/084723-github-check-run-set-status-a2ea93	0	OK	-	2026-07-13 08:47:24	0 / 1s
2026-07-13/060757-github-check-run-set-status-715433	1	OK	-	2026-07-13 06:07:58	0 / 1s
2026-07-13/060754-git-fetch-8a2a32	0	OK	-	2026-07-13 06:07:57	0 / 3s
2026-07-13/060754-github-check-run-set-status-021c7e	0	OK	-	2026-07-13 06:07:55	0 / 1s
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