deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2025-10-21/145649-github-check-run-set-status-3471c7	1	OK	-	2025-10-21 14:56:50	0 / 1s
2025-10-21/145615-git-fetch-66cad4	0	OK	-	2025-10-21 14:56:49	0 / 34s
2025-10-21/145615-github-check-run-set-status-0e68bf	0	OK	-	2025-10-21 14:56:16	0 / 1s
2025-10-20/124927-github-check-run-set-status-c1fec5	1	OK	-	2025-10-20 12:49:28	0 / 1s
2025-10-20/124855-git-fetch-2d7291	0	OK	-	2025-10-20 12:49:27	0 / 32s
2025-10-20/124855-github-check-run-set-status-cb59b3	0	OK	-	2025-10-20 12:48:56	0 / 1s
2025-10-20/032402-github-check-run-set-status-0f36a7	2	OK	-	2025-10-20 03:24:04	1s / 1s
2025-10-20/032402-github-check-run-set-status-bb847e	2	OK	-	2025-10-20 03:24:03	0 / 1s
2025-10-20/032222-docker-build-be5239	0	Docker build exited with status 1	-	2025-10-20 03:24:02	0 / 1min40s
2025-10-20/032222-github-check-run-set-status-eb5f1a	1	OK	-	2025-10-20 03:22:23	0 / 1s
2025-10-20/032222-github-check-run-set-status-ba9dbd	1	OK	-	2025-10-20 03:22:22	0 / 0
2025-10-20/032219-git-fetch-9d5677	0	OK	-	2025-10-20 03:22:22	0 / 3s
2025-10-20/032219-git-fetch-39ed64	0	OK	-	2025-10-20 03:22:22	0 / 3s
2025-10-20/032219-github-check-run-set-status-532075	0	OK	-	2025-10-20 03:22:21	1s / 1s
2025-10-20/032219-github-check-run-set-status-f749e9	0	OK	-	2025-10-20 03:22:20	0 / 1s
2025-10-17/153959-github-check-run-set-status-b3ac45	1	OK	-	2025-10-17 15:40:00	0 / 1s
2025-10-17/153954-git-fetch-1bda90	0	OK	-	2025-10-17 15:39:59	0 / 5s
2025-10-17/153954-github-check-run-set-status-5df71e	0	OK	-	2025-10-17 15:39:55	0 / 1s
2025-10-17/122723-github-check-run-set-status-9a2a61	1	OK	-	2025-10-17 12:27:24	0 / 1s
2025-10-17/122714-git-fetch-121c2c	0	OK	-	2025-10-17 12:27:23	0 / 9s
2025-10-17/122714-github-check-run-set-status-b21ba4	0	OK	-	2025-10-17 12:27:14	0 / 0
2025-10-17/115545-github-check-run-set-status-4e2bd7	1	OK	-	2025-10-17 11:55:45	0 / 0
2025-10-17/115539-git-fetch-0d0c79	0	OK	-	2025-10-17 11:55:45	0 / 6s
2025-10-17/115539-github-check-run-set-status-404021	0	OK	-	2025-10-17 11:55:40	0 / 1s
2025-10-17/070216-github-check-run-set-status-943c47	1	OK	-	2025-10-17 07:02:17	0 / 1s
2025-10-17/070201-git-fetch-256ee2	0	OK	-	2025-10-17 07:02:16	0 / 15s
2025-10-17/070201-github-check-run-set-status-fa6213	0	OK	-	2025-10-17 07:02:02	0 / 1s
2025-10-16/124347-github-check-run-set-status-f3cc0c	1	OK	-	2025-10-16 12:43:48	0 / 1s
2025-10-16/124327-git-fetch-a9dbc0	0	OK	-	2025-10-16 12:43:47	0 / 20s
2025-10-16/124327-github-check-run-set-status-ba9b5a	0	OK	-	2025-10-16 12:43:28	0 / 1s
2025-10-15/131900-github-check-run-set-status-f22dfd	1	OK	-	2025-10-15 13:19:01	0 / 1s
2025-10-15/131852-git-fetch-722aa6	0	OK	-	2025-10-15 13:19:00	0 / 8s
2025-10-15/131852-github-check-run-set-status-704e62	0	OK	-	2025-10-15 13:18:53	0 / 1s
2025-10-15/112858-github-check-run-set-status-96ab09	1	OK	-	2025-10-15 11:28:59	0 / 1s
2025-10-15/112837-git-fetch-277367	0	OK	-	2025-10-15 11:28:58	0 / 21s
2025-10-15/112837-github-check-run-set-status-3ba17e	0	OK	-	2025-10-15 11:28:38	0 / 1s
2025-10-14/153225-github-check-run-set-status-3b2001	1	OK	-	2025-10-14 15:32:26	0 / 1s
2025-10-14/153221-git-fetch-42bb70	0	OK	-	2025-10-14 15:32:25	0 / 4s
2025-10-14/153221-github-check-run-set-status-e7d0aa	0	OK	-	2025-10-14 15:32:22	0 / 1s
2025-10-14/150148-github-check-run-set-status-92c403	1	OK	-	2025-10-14 15:01:49	0 / 1s
2025-10-14/150143-git-fetch-1c73db	0	OK	-	2025-10-14 15:01:48	0 / 5s
2025-10-14/150143-github-check-run-set-status-e41033	0	OK	-	2025-10-14 15:01:43	0 / 0
2025-10-14/142736-github-check-run-set-status-aa8e00	1	OK	-	2025-10-14 14:27:37	0 / 1s
2025-10-14/142730-git-fetch-faf6a3	0	OK	-	2025-10-14 14:27:36	0 / 6s
2025-10-14/142730-github-check-run-set-status-51b836	0	OK	-	2025-10-14 14:27:31	0 / 1s
2025-10-14/131323-github-check-run-set-status-cb8a0d	1	OK	-	2025-10-14 13:13:24	0 / 1s
2025-10-14/131245-git-fetch-f34094	0	OK	-	2025-10-14 13:13:23	0 / 38s
2025-10-14/131245-github-check-run-set-status-19c731	0	OK	-	2025-10-14 13:12:46	0 / 1s
2025-10-13/190138-github-check-run-set-status-02d7d7	1	OK	-	2025-10-13 19:01:39	0 / 1s
2025-10-13/190133-git-fetch-f4cc5f	0	OK	-	2025-10-13 19:01:38	0 / 5s
2025-10-13/190133-github-check-run-set-status-d60a6f	0	OK	-	2025-10-13 19:01:34	0 / 1s
2025-10-13/153207-github-check-run-set-status-3cd652	1	OK	-	2025-10-13 15:32:08	0 / 1s
2025-10-13/153201-git-fetch-8f2fbf	0	OK	-	2025-10-13 15:32:07	0 / 6s
2025-10-13/153201-github-check-run-set-status-279e46	0	OK	-	2025-10-13 15:32:02	0 / 1s
2025-10-13/134709-github-check-run-set-status-a816ad	1	OK	-	2025-10-13 13:47:10	0 / 1s
2025-10-13/134705-git-fetch-9e50bc	0	OK	-	2025-10-13 13:47:09	0 / 4s
2025-10-13/134705-github-check-run-set-status-b751da	0	OK	-	2025-10-13 13:47:06	0 / 1s
2025-10-13/125349-github-check-run-set-status-8a3228	1	OK	-	2025-10-13 12:53:49	0 / 0
2025-10-13/125342-git-fetch-020d5b	0	OK	-	2025-10-13 12:53:49	0 / 7s
2025-10-13/125342-github-check-run-set-status-8cff61	0	OK	-	2025-10-13 12:53:43	0 / 1s
2025-10-13/123657-github-check-run-set-status-fbd234	1	OK	-	2025-10-13 12:36:58	0 / 1s
2025-10-13/123651-git-fetch-5c7729	0	OK	-	2025-10-13 12:36:57	0 / 6s
2025-10-13/123651-github-check-run-set-status-f5f229	0	OK	-	2025-10-13 12:36:52	0 / 1s
2025-10-13/094023-github-check-run-set-status-07786e	1	OK	-	2025-10-13 09:40:24	0 / 1s
2025-10-13/093944-git-fetch-dcd20a	0	OK	-	2025-10-13 09:40:23	0 / 39s
2025-10-13/093944-github-check-run-set-status-3c5d5b	0	OK	-	2025-10-13 09:39:45	0 / 1s
2025-10-13/031641-github-check-run-set-status-b41003	2	OK	-	2025-10-13 03:16:43	1s / 1s
2025-10-13/031641-github-check-run-set-status-3733ec	2	OK	-	2025-10-13 03:16:42	0 / 1s
2025-10-13/031421-docker-build-514bd3	0	Docker build exited with status 1	-	2025-10-13 03:16:41	0 / 2min20s
2025-10-13/031421-github-check-run-set-status-4a6bbd	1	OK	-	2025-10-13 03:14:23	1s / 1s
2025-10-13/031421-github-check-run-set-status-1ecc05	1	OK	-	2025-10-13 03:14:22	0 / 1s
2025-10-13/031415-git-fetch-cd2cb5	0	OK	-	2025-10-13 03:14:21	0 / 6s
2025-10-13/031415-git-fetch-a35d1d	0	OK	-	2025-10-13 03:14:21	0 / 6s
2025-10-13/031415-github-check-run-set-status-6a0edf	0	OK	-	2025-10-13 03:14:17	1s / 1s
2025-10-13/031415-github-check-run-set-status-d15234	0	OK	-	2025-10-13 03:14:16	0 / 1s
2025-10-11/223637-github-check-run-set-status-d7a4df	1	OK	-	2025-10-11 22:36:38	0 / 1s
2025-10-11/223630-git-fetch-cbde91	0	OK	-	2025-10-11 22:36:37	0 / 7s
2025-10-11/223630-github-check-run-set-status-7619fd	0	OK	-	2025-10-11 22:36:31	0 / 1s
2025-10-11/081825-github-check-run-set-status-994115	1	OK	-	2025-10-11 08:18:26	0 / 1s
2025-10-11/081811-git-fetch-f9fab9	0	OK	-	2025-10-11 08:18:25	0 / 14s
2025-10-11/081811-github-check-run-set-status-4aaabb	0	OK	-	2025-10-11 08:18:12	0 / 1s
2025-10-10/184856-github-check-run-set-status-e567b3	1	OK	-	2025-10-10 18:48:57	0 / 1s
2025-10-10/184853-git-fetch-2fa8cc	0	OK	-	2025-10-10 18:48:56	0 / 3s
2025-10-10/184853-github-check-run-set-status-6ca74b	0	OK	-	2025-10-10 18:48:53	0 / 0
2025-10-10/152725-github-check-run-set-status-f79499	1	OK	-	2025-10-10 15:27:26	0 / 1s
2025-10-10/152720-git-fetch-d346ea	0	OK	-	2025-10-10 15:27:25	0 / 5s
2025-10-10/152720-github-check-run-set-status-bbf137	0	OK	-	2025-10-10 15:27:20	0 / 0
2025-10-10/112100-github-check-run-set-status-0c687a	1	OK	-	2025-10-10 11:21:01	0 / 1s
2025-10-10/112054-git-fetch-bd113d	0	OK	-	2025-10-10 11:21:00	0 / 6s
2025-10-10/112054-github-check-run-set-status-4070dc	0	OK	-	2025-10-10 11:20:55	0 / 1s
2025-10-10/094736-github-check-run-set-status-333a38	1	OK	-	2025-10-10 09:47:37	0 / 1s
2025-10-10/094731-git-fetch-867249	0	OK	-	2025-10-10 09:47:36	0 / 5s
2025-10-10/094731-github-check-run-set-status-910a6d	0	OK	-	2025-10-10 09:47:32	0 / 1s
2025-10-10/094235-github-check-run-set-status-f5c29c	1	OK	-	2025-10-10 09:42:36	0 / 1s
2025-10-10/094221-git-fetch-dc7ef0	0	OK	-	2025-10-10 09:42:35	0 / 14s
2025-10-10/094221-github-check-run-set-status-e83ba7	0	OK	-	2025-10-10 09:42:22	0 / 1s
2025-10-09/154532-github-check-run-set-status-090186	1	OK	-	2025-10-09 15:45:33	0 / 1s
2025-10-09/154526-git-fetch-f11949	0	OK	-	2025-10-09 15:45:32	0 / 6s
2025-10-09/154526-github-check-run-set-status-511f1f	0	OK	-	2025-10-09 15:45:27	0 / 1s
2025-10-09/123426-github-check-run-set-status-09d463	1	OK	-	2025-10-09 12:34:27	0 / 1s