deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
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
2026-01-16/223558-github-check-run-set-status-09852e	1	OK	-	2026-01-16 22:35:59	0 / 1s
2026-01-16/223106-docker-compose-90dc73	0	OK	-	2026-01-16 22:35:58	0 / 4min52s
2026-01-16/223511-github-check-run-set-status-6f06fc	2	OK	-	2026-01-16 22:35:12	0 / 1s
2026-01-16/223034-docker-build-fb337d	0	OK	-	2026-01-16 22:35:11	0 / 4min37s
2026-01-16/223106-github-check-run-set-status-73a848	0	OK	-	2026-01-16 22:31:06	0 / 0
2026-01-16/223105-git-fetch-a0e2ff	0	OK	-	2026-01-16 22:31:05	0 / 0
2026-01-16/223034-github-check-run-set-status-298139	1	OK	-	2026-01-16 22:30:35	0 / 1s
2026-01-16/223031-git-fetch-8a1e8d	0	OK	-	2026-01-16 22:30:34	0 / 3s
2026-01-16/223031-github-check-run-set-status-c7293b	0	OK	-	2026-01-16 22:30:32	0 / 1s
2026-01-16/211216-github-check-run-set-status-5e732e	1	OK	-	2026-01-16 21:12:17	0 / 1s
2026-01-16/211209-git-fetch-8fea5b	0	OK	-	2026-01-16 21:12:16	0 / 7s
2026-01-16/211209-github-check-run-set-status-301bfe	0	OK	-	2026-01-16 21:12:09	0 / 0
2026-01-16/154319-github-check-run-set-status-8ca6c8	1	OK	-	2026-01-16 15:43:20	0 / 1s
2026-01-16/154314-git-fetch-a85521	0	OK	-	2026-01-16 15:43:19	0 / 5s
2026-01-16/154314-github-check-run-set-status-f7c723	0	OK	-	2026-01-16 15:43:15	0 / 1s
2026-01-16/150458-github-check-run-set-status-72d8a2	1	OK	-	2026-01-16 15:04:59	0 / 1s
2026-01-16/150437-git-fetch-e72d10	0	OK	-	2026-01-16 15:04:58	0 / 21s
2026-01-16/150437-github-check-run-set-status-a5739b	0	OK	-	2026-01-16 15:04:38	0 / 1s
2026-01-15/172018-github-check-run-set-status-800279	1	OK	-	2026-01-15 17:20:22	0 / 4s
2026-01-15/172000-git-fetch-0b6f57	0	OK	-	2026-01-15 17:20:18	0 / 18s
2026-01-15/172000-github-check-run-set-status-f53d81	0	OK	-	2026-01-15 17:20:01	0 / 1s
2026-01-14/165042-github-check-run-set-status-7cb125	1	OK	-	2026-01-14 16:50:43	0 / 1s
2026-01-14/165036-git-fetch-63562d	0	OK	-	2026-01-14 16:50:41	0 / 5s
2026-01-14/165036-github-check-run-set-status-350d34	0	OK	-	2026-01-14 16:50:37	0 / 1s