deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
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
2026-01-21/110302-git-fetch-f2a2bd	0	OK	-	2026-01-21 11:03:20	0 / 18s
2026-01-21/110302-github-check-run-set-status-90df51	0	OK	-	2026-01-21 11:03:03	0 / 1s
2026-01-21/103624-github-check-run-set-status-341727	1	OK	-	2026-01-21 10:36:25	0 / 1s
2026-01-21/103603-git-fetch-eef0ab	0	OK	-	2026-01-21 10:36:24	0 / 21s
2026-01-21/103603-github-check-run-set-status-f7de09	0	OK	-	2026-01-21 10:36:04	0 / 1s
2026-01-20/115154-github-check-run-set-status-c7a2ca	1	OK	-	2026-01-20 11:51:55	0 / 1s
2026-01-20/114854-docker-compose-9bb39b	0	OK	-	2026-01-20 11:51:54	0 / 3min
2026-01-20/114854-github-check-run-set-status-74baa8	0	OK	-	2026-01-20 11:48:55	0 / 1s
2026-01-20/114853-git-fetch-3d0e37	0	OK	-	2026-01-20 11:48:54	0 / 1s
2026-01-20/103837-github-check-run-set-status-42476b	2	OK	-	2026-01-20 10:38:38	0 / 1s
2026-01-20/103526-docker-build-6bf4d0	0	OK	-	2026-01-20 10:38:37	0 / 3min11s
2026-01-20/103526-github-check-run-set-status-3abd02	1	OK	-	2026-01-20 10:35:26	0 / 0
2026-01-20/103524-git-fetch-b958dd	0	OK	-	2026-01-20 10:35:26	0 / 2s
2026-01-20/103524-github-check-run-set-status-1c1492	0	OK	-	2026-01-20 10:35:24	0 / 0
2026-01-20/103414-github-check-run-set-status-c1059b	1	OK	-	2026-01-20 10:34:15	0 / 1s
2026-01-20/103400-git-fetch-fec4f4	0	OK	-	2026-01-20 10:34:14	0 / 14s
2026-01-20/103400-github-check-run-set-status-f2c3db	0	OK	-	2026-01-20 10:34:01	0 / 1s
2026-01-19/174603-github-check-run-set-status-1a6bf3	1	OK	-	2026-01-19 17:46:03	0 / 0
2026-01-19/174557-git-fetch-58ccc9	0	OK	-	2026-01-19 17:46:02	0 / 5s
2026-01-19/174557-github-check-run-set-status-20a830	0	OK	-	2026-01-19 17:45:58	0 / 1s
2026-01-19/141756-github-check-run-set-status-d02a81	1	OK	-	2026-01-19 14:17:57	0 / 1s
2026-01-19/141652-git-fetch-8ddb35	0	OK	-	2026-01-19 14:17:56	0 / 1min4s
2026-01-19/141652-github-check-run-set-status-38b808	0	OK	-	2026-01-19 14:16:53	0 / 1s
2026-01-19/133124-github-check-run-set-status-b22f22	1	OK	-	2026-01-19 13:31:25	0 / 1s
2026-01-19/131131-docker-compose-874523	0	OK	-	2026-01-19 13:31:24	0 / 19min53s
2026-01-19/131131-github-check-run-set-status-966453	0	OK	-	2026-01-19 13:11:32	0 / 1s
2026-01-19/131130-git-fetch-b70570	0	OK	-	2026-01-19 13:11:31	0 / 1s
2026-01-19/094305-github-check-run-set-status-fc80c1	1	OK	-	2026-01-19 09:43:06	0 / 1s
2026-01-19/093917-docker-compose-090a8b	0	OK	-	2026-01-19 09:43:05	0 / 3min48s
2026-01-19/093917-github-check-run-set-status-114fd3	0	OK	-	2026-01-19 09:39:18	0 / 1s
2026-01-19/093916-git-fetch-d499e2	0	OK	-	2026-01-19 09:39:17	0 / 1s
2026-01-19/034232-github-check-run-set-status-20a81d	2	OK	-	2026-01-19 03:42:33	1s / 0
2026-01-19/034232-github-check-run-set-status-77cde7	2	OK	-	2026-01-19 03:42:33	0 / 1s
2026-01-19/033522-docker-build-8dc64a	0	Docker build exited with status 1	-	2026-01-19 03:42:32	6min / 1min10s
2026-01-19/034122-github-check-run-set-status-d8a8ea	2	OK	-	2026-01-19 03:41:23	0 / 1s
2026-01-19/033521-docker-build-ae2b7f	0	OK	-	2026-01-19 03:41:22	3min28s / 2min33s
2026-01-19/033849-github-check-run-set-status-a1cef3	2	OK	-	2026-01-19 03:38:50	0 / 1s
2026-01-19/033520-docker-build-969440	0	OK	-	2026-01-19 03:38:49	0 / 3min29s
2026-01-19/033522-github-check-run-set-status-7f804a	1	OK	-	2026-01-19 03:35:25	2s / 1s
2026-01-19/033522-github-check-run-set-status-d52663	1	OK	-	2026-01-19 03:35:24	1s / 1s
2026-01-19/033521-github-check-run-set-status-418757	1	OK	-	2026-01-19 03:35:23	1s / 1s
2026-01-19/033520-github-check-run-set-status-254a27	1	OK	-	2026-01-19 03:35:22	1s / 1s
2026-01-19/033518-git-fetch-d48d11	0	OK	-	2026-01-19 03:35:22	0 / 4s
2026-01-19/033518-git-fetch-e5eba2	0	OK	-	2026-01-19 03:35:22	0 / 4s
2026-01-19/033518-github-check-run-set-status-47e303	0	OK	-	2026-01-19 03:35:21	3s / 0
2026-01-19/033518-git-fetch-3dca8b	0	OK	-	2026-01-19 03:35:21	0 / 3s
2026-01-19/033518-github-check-run-set-status-7bf2ee	0	OK	-	2026-01-19 03:35:21	2s / 1s
2026-01-19/033518-git-fetch-bc449c	0	OK	-	2026-01-19 03:35:20	0 / 2s
2026-01-19/033518-github-check-run-set-status-be00da	0	OK	-	2026-01-19 03:35:20	1s / 1s
2026-01-19/033518-github-check-run-set-status-63439a	0	OK	-	2026-01-19 03:35:19	0 / 1s
2026-01-17/141529-github-check-run-set-status-0e9cdf	1	OK	-	2026-01-17 14:15:30	0 / 1s
2026-01-17/141500-git-fetch-fdcab1	0	OK	-	2026-01-17 14:15:29	0 / 29s
2026-01-17/141500-github-check-run-set-status-4796a2	0	OK	-	2026-01-17 14:15:01	0 / 1s
2026-01-16/224857-github-check-run-set-status-015609	1	OK	-	2026-01-16 22:48:58	0 / 1s
2026-01-16/224550-docker-compose-658e98	0	OK	-	2026-01-16 22:48:57	0 / 3min7s
2026-01-16/224348-docker-compose-31acc6	0	OK	-	2026-01-16 22:47:16	0 / 3min28s
2026-01-16/224550-github-check-run-set-status-61bf48	0	OK	-	2026-01-16 22:45:51	0 / 1s
2026-01-16/224549-git-fetch-d5c408	0	OK	-	2026-01-16 22:45:50	0 / 1s
2026-01-16/224348-github-check-run-set-status-187b57	0	OK	-	2026-01-16 22:43:49	0 / 1s
2026-01-16/224347-git-fetch-f0660f	0	OK	-	2026-01-16 22:43:48	0 / 1s
2026-01-16/224102-github-check-run-set-status-212f66	1	OK	-	2026-01-16 22:41:03	0 / 1s
2026-01-16/224013-git-fetch-ae5d55	0	OK	-	2026-01-16 22:41:02	0 / 49s
2026-01-16/224013-github-check-run-set-status-69d34d	0	OK	-	2026-01-16 22:40:14	0 / 1s