deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-07-24/184824-github-check-run-set-status-dae5a9	1	OK	-	2026-07-24 18:48:25	0 / 1s
2026-07-24/184820-git-fetch-807dd2	0	OK	-	2026-07-24 18:48:24	0 / 4s
2026-07-24/184820-github-check-run-set-status-39053f	0	OK	-	2026-07-24 18:48:21	0 / 1s
2026-07-24/111255-github-check-run-set-status-ca2ea5	1	OK	-	2026-07-24 11:12:56	0 / 1s
2026-07-24/111232-git-fetch-65232b	0	OK	-	2026-07-24 11:12:55	0 / 23s
2026-07-24/111232-github-check-run-set-status-cd26d7	0	OK	-	2026-07-24 11:12:33	0 / 1s
2026-07-22/134422-github-check-run-set-status-34f0bd	1	OK	-	2026-07-22 13:44:24	0 / 2s
2026-07-22/134417-git-fetch-68516c	0	OK	-	2026-07-22 13:44:22	0 / 5s
2026-07-22/134417-github-check-run-set-status-852876	0	OK	-	2026-07-22 13:44:18	0 / 1s
2026-07-22/132410-github-check-run-set-status-a4ff05	1	OK	-	2026-07-22 13:24:11	0 / 1s
2026-07-22/132403-git-fetch-6bc12a	0	OK	-	2026-07-22 13:24:10	0 / 7s
2026-07-22/132403-github-check-run-set-status-5c233c	0	OK	-	2026-07-22 13:24:05	0 / 2s
2026-07-22/130323-github-check-run-set-status-1e2602	1	OK	-	2026-07-22 13:03:24	0 / 1s
2026-07-22/130314-git-fetch-e6a55c	0	OK	-	2026-07-22 13:03:23	0 / 9s
2026-07-22/130314-github-check-run-set-status-435358	0	OK	-	2026-07-22 13:03:15	0 / 1s
2026-07-22/111220-github-check-run-set-status-c546ed	1	OK	-	2026-07-22 11:12:21	0 / 1s
2026-07-22/111215-git-fetch-1dffdd	0	OK	-	2026-07-22 11:12:20	0 / 5s
2026-07-22/111215-github-check-run-set-status-9526ed	0	OK	-	2026-07-22 11:12:16	0 / 1s
2026-07-22/095616-github-check-run-set-status-693fe5	1	OK	-	2026-07-22 09:56:17	0 / 1s
2026-07-22/095600-git-fetch-e4a952	0	OK	-	2026-07-22 09:56:16	0 / 16s
2026-07-22/095600-github-check-run-set-status-d1ff1e	0	OK	-	2026-07-22 09:56:01	0 / 1s
2026-07-22/020837-github-check-run-set-status-c0c58a	1	OK	-	2026-07-22 02:08:38	0 / 1s
2026-07-22/020830-git-fetch-e5740b	0	OK	-	2026-07-22 02:08:37	0 / 7s
2026-07-22/020830-github-check-run-set-status-abfcbd	0	OK	-	2026-07-22 02:08:31	0 / 1s
2026-07-21/150202-github-check-run-set-status-92673c	1	OK	-	2026-07-21 15:02:03	0 / 1s
2026-07-21/150145-git-fetch-23efc4	0	OK	-	2026-07-21 15:02:02	0 / 17s
2026-07-21/150145-github-check-run-set-status-caaaf0	0	OK	-	2026-07-21 15:01:46	0 / 1s
2026-07-20/150239-github-check-run-set-status-787096	1	OK	-	2026-07-20 15:02:40	0 / 1s
2026-07-20/150233-git-fetch-2062df	0	OK	-	2026-07-20 15:02:39	0 / 6s
2026-07-20/150233-github-check-run-set-status-0a9376	0	OK	-	2026-07-20 15:02:34	0 / 1s
2026-07-20/112740-github-check-run-set-status-a880ac	1	OK	-	2026-07-20 11:27:41	0 / 1s
2026-07-20/112718-git-fetch-2e720e	0	OK	-	2026-07-20 11:27:40	0 / 22s
2026-07-20/112718-github-check-run-set-status-8b3235	0	OK	-	2026-07-20 11:27:19	0 / 1s
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