deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-01-28/150907-github-check-run-set-status-95abeb	1	OK	-	2026-01-28 15:09:08	0 / 1s
2026-01-28/150859-git-fetch-f7de7b	0	OK	-	2026-01-28 15:09:07	0 / 8s
2026-01-28/150859-github-check-run-set-status-20375e	0	OK	-	2026-01-28 15:09:00	0 / 1s
2026-01-28/092622-github-check-run-set-status-b224c3	1	OK	-	2026-01-28 09:26:23	0 / 1s
2026-01-28/092130-docker-compose-a40194	0	OK	-	2026-01-28 09:26:22	0 / 4min52s
2026-01-28/092130-github-check-run-set-status-7f981c	0	OK	-	2026-01-28 09:21:31	0 / 1s
2026-01-28/092127-git-fetch-de0c34	0	OK	-	2026-01-28 09:21:30	0 / 3s
2026-01-28/080831-github-check-run-set-status-e8938f	1	OK	-	2026-01-28 08:08:32	0 / 1s
2026-01-28/080827-git-fetch-160cf7	0	OK	-	2026-01-28 08:08:31	0 / 4s
2026-01-28/080827-github-check-run-set-status-0403cc	0	OK	-	2026-01-28 08:08:29	0 / 2s
2026-01-28/071425-github-check-run-set-status-cadfc8	1	OK	-	2026-01-28 07:14:26	0 / 1s
2026-01-28/071418-git-fetch-a06657	0	OK	-	2026-01-28 07:14:25	0 / 7s
2026-01-28/071418-github-check-run-set-status-008dea	0	OK	-	2026-01-28 07:14:19	0 / 1s
2026-01-27/191709-github-check-run-set-status-153c5d	1	OK	-	2026-01-27 19:17:10	0 / 1s
2026-01-27/191703-git-fetch-77177d	0	OK	-	2026-01-27 19:17:09	0 / 6s
2026-01-27/191703-github-check-run-set-status-4cb0be	0	OK	-	2026-01-27 19:17:04	0 / 1s
2026-01-27/174609-github-check-run-set-status-85f608	1	OK	-	2026-01-27 17:46:10	0 / 1s
2026-01-27/174604-git-fetch-b9ad73	0	OK	-	2026-01-27 17:46:08	0 / 4s
2026-01-27/174604-github-check-run-set-status-acf255	0	OK	-	2026-01-27 17:46:05	0 / 1s
2026-01-27/161228-github-check-run-set-status-b1526d	1	OK	-	2026-01-27 16:12:29	0 / 1s
2026-01-27/161224-git-fetch-c74432	0	OK	-	2026-01-27 16:12:28	0 / 4s
2026-01-27/161224-github-check-run-set-status-a1f1f7	0	OK	-	2026-01-27 16:12:25	0 / 1s
2026-01-27/154534-github-check-run-set-status-1ecbfd	1	OK	-	2026-01-27 15:45:35	0 / 1s
2026-01-27/154515-git-fetch-77c757	0	OK	-	2026-01-27 15:45:34	0 / 19s
2026-01-27/154515-github-check-run-set-status-0fde37	0	OK	-	2026-01-27 15:45:16	0 / 1s
2026-01-26/213228-github-check-run-set-status-4982d9	1	OK	-	2026-01-26 21:32:29	0 / 1s
2026-01-26/213221-git-fetch-edb548	0	OK	-	2026-01-26 21:32:28	0 / 7s
2026-01-26/213221-github-check-run-set-status-5dbfb6	0	OK	-	2026-01-26 21:32:22	0 / 1s
2026-01-26/212217-github-check-run-set-status-92115b	1	OK	-	2026-01-26 21:22:18	0 / 1s
2026-01-26/212209-git-fetch-ff94f0	0	OK	-	2026-01-26 21:22:17	0 / 8s
2026-01-26/212209-github-check-run-set-status-3aacfa	0	OK	-	2026-01-26 21:22:10	0 / 1s
2026-01-26/145451-github-check-run-set-status-963232	1	OK	-	2026-01-26 14:54:52	0 / 1s
2026-01-26/145447-git-fetch-b5e074	0	OK	-	2026-01-26 14:54:51	0 / 4s
2026-01-26/145447-github-check-run-set-status-4d8982	0	OK	-	2026-01-26 14:54:48	0 / 1s
2026-01-26/132820-github-check-run-set-status-584081	1	OK	-	2026-01-26 13:28:21	0 / 1s
2026-01-26/132814-git-fetch-dddd1d	0	OK	-	2026-01-26 13:28:20	0 / 6s
2026-01-26/132814-github-check-run-set-status-bcc588	0	OK	-	2026-01-26 13:28:15	0 / 1s
2026-01-26/125551-github-check-run-set-status-88039c	1	OK	-	2026-01-26 12:55:52	0 / 1s
2026-01-26/125545-git-fetch-147701	0	OK	-	2026-01-26 12:55:51	0 / 6s
2026-01-26/125545-github-check-run-set-status-1d6486	0	OK	-	2026-01-26 12:55:46	0 / 1s
2026-01-26/123641-github-check-run-set-status-c402bc	1	OK	-	2026-01-26 12:36:42	0 / 1s
2026-01-26/123636-git-fetch-ab4393	0	OK	-	2026-01-26 12:36:41	0 / 5s
2026-01-26/123636-github-check-run-set-status-cbabba	0	OK	-	2026-01-26 12:36:37	0 / 1s
2026-01-26/103658-github-check-run-set-status-58b874	1	OK	-	2026-01-26 10:36:59	0 / 1s
2026-01-26/103636-git-fetch-6eab04	0	OK	-	2026-01-26 10:36:58	0 / 22s
2026-01-26/103636-github-check-run-set-status-ff5f87	0	OK	-	2026-01-26 10:36:37	0 / 1s
2026-01-26/102139-github-check-run-set-status-7781f1	2	OK	-	2026-01-26 10:21:40	0 / 1s
2026-01-26/101832-docker-build-482ef4	0	OK	-	2026-01-26 10:21:39	0 / 3min7s
2026-01-26/101832-github-check-run-set-status-c4b636	1	OK	-	2026-01-26 10:18:33	0 / 1s
2026-01-26/101831-git-fetch-40b45b	0	OK	-	2026-01-26 10:18:32	0 / 1s
2026-01-26/101831-github-check-run-set-status-e90d48	0	OK	-	2026-01-26 10:18:32	0 / 1s
2026-01-26/090837-github-check-run-set-status-a5d9b5	1	OK	-	2026-01-26 09:08:38	0 / 1s
2026-01-26/090826-git-fetch-057424	0	OK	-	2026-01-26 09:08:37	0 / 11s
2026-01-26/090826-github-check-run-set-status-40b923	0	OK	-	2026-01-26 09:08:27	0 / 1s
2026-01-26/035641-github-check-run-set-status-e23c7d	2	OK	-	2026-01-26 03:56:43	1s / 1s
2026-01-26/035641-github-check-run-set-status-d149be	2	OK	-	2026-01-26 03:56:42	0 / 1s
2026-01-26/035447-docker-build-442442	0	Docker build exited with status 1	-	2026-01-26 03:56:41	0 / 1min54s
2026-01-26/035447-github-check-run-set-status-73fde0	1	OK	-	2026-01-26 03:54:48	1s / 0
2026-01-26/035447-github-check-run-set-status-2e98a4	1	OK	-	2026-01-26 03:54:48	0 / 1s
2026-01-26/035442-git-fetch-ff555e	0	OK	-	2026-01-26 03:54:47	0 / 5s
2026-01-26/035442-git-fetch-f3ee6f	0	OK	-	2026-01-26 03:54:47	0 / 5s
2026-01-26/035442-github-check-run-set-status-822656	0	OK	-	2026-01-26 03:54:43	1s / 0
2026-01-26/035442-github-check-run-set-status-854c58	0	OK	-	2026-01-26 03:54:43	0 / 1s
2026-01-24/142645-github-check-run-set-status-2b0935	1	OK	-	2026-01-24 14:26:46	0 / 1s
2026-01-24/142633-git-fetch-cba1be	0	OK	-	2026-01-24 14:26:45	0 / 12s
2026-01-24/142633-github-check-run-set-status-6310d1	0	OK	-	2026-01-24 14:26:34	0 / 1s
2026-01-23/165628-github-check-run-set-status-04ff34	1	OK	-	2026-01-23 16:56:29	0 / 1s
2026-01-23/165623-git-fetch-77ef74	0	OK	-	2026-01-23 16:56:28	0 / 5s
2026-01-23/165623-github-check-run-set-status-729e9a	0	OK	-	2026-01-23 16:56:23	0 / 0
2026-01-23/160334-github-check-run-set-status-f9d11e	1	OK	-	2026-01-23 16:03:35	0 / 1s
2026-01-23/160325-git-fetch-667050	0	OK	-	2026-01-23 16:03:34	0 / 9s
2026-01-23/160325-github-check-run-set-status-68f025	0	OK	-	2026-01-23 16:03:25	0 / 0
2026-01-22/182452-github-check-run-set-status-cf51dd	1	OK	-	2026-01-22 18:24:53	0 / 1s
2026-01-22/182448-git-fetch-449512	0	OK	-	2026-01-22 18:24:52	0 / 4s
2026-01-22/182448-github-check-run-set-status-960caf	0	OK	-	2026-01-22 18:24:49	0 / 1s
2026-01-22/135251-github-check-run-set-status-df2f28	1	OK	-	2026-01-22 13:52:52	0 / 1s
2026-01-22/135248-git-fetch-824afb	0	OK	-	2026-01-22 13:52:51	0 / 3s
2026-01-22/135248-github-check-run-set-status-17b175	0	OK	-	2026-01-22 13:52:49	0 / 1s
2026-01-22/131941-github-check-run-set-status-56e200	1	OK	-	2026-01-22 13:19:42	0 / 1s
2026-01-22/131936-git-fetch-674956	0	OK	-	2026-01-22 13:19:41	0 / 5s
2026-01-22/131936-github-check-run-set-status-b9c5b1	0	OK	-	2026-01-22 13:19:37	0 / 1s
2026-01-22/123944-github-check-run-set-status-2179cb	1	OK	-	2026-01-22 12:39:45	0 / 1s
2026-01-22/123940-git-fetch-c8d3df	0	OK	-	2026-01-22 12:39:44	0 / 4s
2026-01-22/123940-github-check-run-set-status-836e77	0	OK	-	2026-01-22 12:39:41	0 / 1s
2026-01-22/104958-github-check-run-set-status-bd41e4	1	OK	-	2026-01-22 10:49:59	0 / 1s
2026-01-22/104949-git-fetch-5101f5	0	OK	-	2026-01-22 10:49:58	0 / 9s
2026-01-22/104949-github-check-run-set-status-503ae7	0	OK	-	2026-01-22 10:49:50	0 / 1s
2026-01-21/182534-github-check-run-set-status-578cc0	1	OK	-	2026-01-21 18:25:35	0 / 1s
2026-01-21/182530-git-fetch-a53dcf	0	OK	-	2026-01-21 18:25:34	0 / 4s
2026-01-21/182530-github-check-run-set-status-40510d	0	OK	-	2026-01-21 18:25:31	0 / 1s
2026-01-21/173018-github-check-run-set-status-b7801d	1	OK	-	2026-01-21 17:30:19	0 / 1s
2026-01-21/173012-git-fetch-3c4b0a	0	OK	-	2026-01-21 17:30:18	0 / 6s
2026-01-21/173012-github-check-run-set-status-3fc1a4	0	OK	-	2026-01-21 17:30:13	0 / 1s
2026-01-21/142458-github-check-run-set-status-709361	1	OK	-	2026-01-21 14:24:59	0 / 1s
2026-01-21/142453-git-fetch-1202a2	0	OK	-	2026-01-21 14:24:58	0 / 5s
2026-01-21/142453-github-check-run-set-status-065999	0	OK	-	2026-01-21 14:24:54	0 / 1s
2026-01-21/114103-github-check-run-set-status-e875ad	1	OK	-	2026-01-21 11:41:04	0 / 1s
2026-01-21/114057-git-fetch-8cc352	0	OK	-	2026-01-21 11:41:03	0 / 6s
2026-01-21/114057-github-check-run-set-status-83ef67	0	OK	-	2026-01-21 11:40:58	0 / 1s
2026-01-21/110320-github-check-run-set-status-c07df7	1	OK	-	2026-01-21 11:03:21	0 / 1s