deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-01-31/143219-github-check-run-set-status-e194b3	1	OK	-	2026-01-31 14:32:20	0 / 1s
2026-01-31/143207-git-fetch-165546	0	OK	-	2026-01-31 14:32:19	0 / 12s
2026-01-31/143207-github-check-run-set-status-21eae5	0	OK	-	2026-01-31 14:32:08	0 / 1s
2026-01-30/104140-github-check-run-set-status-c48c62	1	OK	-	2026-01-30 10:41:41	0 / 1s
2026-01-30/104123-git-fetch-be6b64	0	OK	-	2026-01-30 10:41:40	0 / 17s
2026-01-30/104123-github-check-run-set-status-f6c7d8	0	OK	-	2026-01-30 10:41:24	0 / 1s
2026-01-30/014603-github-check-run-set-status-428084	1	OK	-	2026-01-30 01:46:04	0 / 1s
2026-01-30/014556-git-fetch-1c934a	0	OK	-	2026-01-30 01:46:03	0 / 7s
2026-01-30/014556-github-check-run-set-status-38aac8	0	OK	-	2026-01-30 01:45:56	0 / 0
2026-01-29/204430-github-check-run-set-status-6810bf	1	OK	-	2026-01-29 20:44:30	0 / 0
2026-01-29/204423-git-fetch-2f6eec	0	OK	-	2026-01-29 20:44:30	0 / 7s
2026-01-29/204423-github-check-run-set-status-79013c	0	OK	-	2026-01-29 20:44:23	0 / 0
2026-01-29/190953-github-check-run-set-status-002ae0	1	OK	-	2026-01-29 19:09:54	0 / 1s
2026-01-29/190853-git-fetch-2fcdd1	0	OK	-	2026-01-29 19:09:53	0 / 1min
2026-01-29/190853-github-check-run-set-status-dfa300	0	OK	-	2026-01-29 19:08:54	0 / 1s
2026-01-29/160229-github-check-run-set-status-4ece9c	1	OK	-	2026-01-29 16:02:30	0 / 1s
2026-01-29/155936-docker-compose-a35e51	0	OK	-	2026-01-29 16:02:29	0 / 2min53s
2026-01-29/155936-github-check-run-set-status-99667d	0	OK	-	2026-01-29 15:59:37	0 / 1s
2026-01-29/155935-git-fetch-e683f1	0	OK	-	2026-01-29 15:59:36	0 / 1s
2026-01-29/155854-github-check-run-set-status-12f24b	2	OK	-	2026-01-29 15:58:55	0 / 1s
2026-01-29/155603-docker-build-72e8cb	0	OK	-	2026-01-29 15:58:54	0 / 2min51s
2026-01-29/155603-github-check-run-set-status-243af0	1	OK	-	2026-01-29 15:56:04	0 / 1s
2026-01-29/155602-git-fetch-0c97c4	0	OK	-	2026-01-29 15:56:03	0 / 1s
2026-01-29/155602-github-check-run-set-status-1d8569	0	OK	-	2026-01-29 15:56:03	0 / 1s
2026-01-29/154850-github-check-run-set-status-f303b8	1	OK	-	2026-01-29 15:48:51	0 / 1s
2026-01-29/154549-docker-compose-daaf52	0	OK	-	2026-01-29 15:48:50	0 / 3min1s
2026-01-29/154549-github-check-run-set-status-5e8380	0	OK	-	2026-01-29 15:45:50	0 / 1s
2026-01-29/154547-git-fetch-c10e9f	0	OK	-	2026-01-29 15:45:49	0 / 2s
2026-01-29/152317-github-check-run-set-status-f00f3b	1	OK	-	2026-01-29 15:23:18	0 / 1s
2026-01-29/151826-docker-compose-a02fcc	0	OK	-	2026-01-29 15:23:17	0 / 4min51s
2026-01-29/152300-github-check-run-set-status-edbedd	2	OK	-	2026-01-29 15:23:02	0 / 2s
2026-01-29/151827-docker-build-6544df	0	OK	-	2026-01-29 15:23:00	0 / 4min33s
2026-01-29/151827-github-check-run-set-status-a08ba7	1	OK	-	2026-01-29 15:18:28	0 / 1s
2026-01-29/151826-github-check-run-set-status-cf4e6f	0	OK	-	2026-01-29 15:18:27	0 / 1s
2026-01-29/151824-git-fetch-4d0c4b	0	OK	-	2026-01-29 15:18:27	0 / 3s
2026-01-29/151824-git-fetch-a3d75c	0	OK	-	2026-01-29 15:18:26	0 / 2s
2026-01-29/151824-github-check-run-set-status-d2c84b	0	OK	-	2026-01-29 15:18:25	0 / 1s
2026-01-29/145148-github-check-run-set-status-4e7319	1	OK	-	2026-01-29 14:51:49	0 / 1s
2026-01-29/145140-git-fetch-70999d	0	OK	-	2026-01-29 14:51:48	0 / 8s
2026-01-29/145140-github-check-run-set-status-5d3c98	0	OK	-	2026-01-29 14:51:41	0 / 1s
2026-01-29/142135-github-check-run-set-status-ad75b6	1	OK	-	2026-01-29 14:21:36	0 / 1s
2026-01-29/142126-git-fetch-6e2535	0	OK	-	2026-01-29 14:21:35	0 / 9s
2026-01-29/142126-github-check-run-set-status-f28d0c	0	OK	-	2026-01-29 14:21:27	0 / 1s
2026-01-29/134709-github-check-run-set-status-2c1dd3	1	OK	-	2026-01-29 13:47:10	0 / 1s
2026-01-29/134636-git-fetch-2c0066	0	OK	-	2026-01-29 13:47:09	0 / 33s
2026-01-29/134636-github-check-run-set-status-fd252b	0	OK	-	2026-01-29 13:46:37	0 / 1s
2026-01-29/120651-github-check-run-set-status-b07464	1	OK	-	2026-01-29 12:06:53	0 / 2s
2026-01-29/120325-docker-compose-97008a	0	OK	-	2026-01-29 12:06:51	0 / 3min26s
2026-01-29/120325-github-check-run-set-status-5e223b	0	OK	-	2026-01-29 12:03:26	0 / 1s
2026-01-29/120324-git-fetch-63f2d6	0	OK	-	2026-01-29 12:03:25	0 / 1s
2026-01-29/095337-github-check-run-set-status-2466bd	2	OK	-	2026-01-29 09:53:38	0 / 1s
2026-01-29/094954-docker-build-21fd69	0	OK	-	2026-01-29 09:53:37	0 / 3min43s
2026-01-29/094954-github-check-run-set-status-2535db	1	OK	-	2026-01-29 09:49:55	0 / 1s
2026-01-29/094952-git-fetch-8ed1bc	0	OK	-	2026-01-29 09:49:54	0 / 2s
2026-01-29/094952-github-check-run-set-status-2add5b	0	OK	-	2026-01-29 09:49:53	0 / 1s
2026-01-29/092213-github-check-run-set-status-b79e2b	1	OK	-	2026-01-29 09:22:14	0 / 1s
2026-01-29/092154-git-fetch-eb6758	0	OK	-	2026-01-29 09:22:13	0 / 19s
2026-01-29/092154-github-check-run-set-status-3a549e	0	OK	-	2026-01-29 09:21:55	0 / 1s
2026-01-29/000734-github-check-run-set-status-be4ed7	1	OK	-	2026-01-29 00:07:35	0 / 1s
2026-01-29/000728-git-fetch-34c020	0	OK	-	2026-01-29 00:07:34	0 / 6s
2026-01-29/000728-github-check-run-set-status-18ca87	0	OK	-	2026-01-29 00:07:29	0 / 1s
2026-01-28/223904-github-check-run-set-status-13c858	1	OK	-	2026-01-28 22:39:05	0 / 1s
2026-01-28/223856-git-fetch-baf33d	0	OK	-	2026-01-28 22:39:04	0 / 8s
2026-01-28/223856-github-check-run-set-status-982578	0	OK	-	2026-01-28 22:38:57	0 / 1s
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