deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-06-26/134305-github-check-run-set-status-728a44	1	OK	-	2026-06-26 13:43:06	0 / 1s
2026-06-26/134243-git-fetch-70562d	0	OK	-	2026-06-26 13:43:05	0 / 22s
2026-06-26/134243-github-check-run-set-status-7df0b0	0	OK	-	2026-06-26 13:42:43	0 / 0
2026-06-25/102523-github-check-run-set-status-3f0763	1	OK	-	2026-06-25 10:25:25	0 / 2s
2026-06-25/102519-git-fetch-055d10	0	OK	-	2026-06-25 10:25:23	0 / 4s
2026-06-25/102519-github-check-run-set-status-2f708f	0	OK	-	2026-06-25 10:25:19	0 / 0
2026-06-25/101343-github-check-run-set-status-aabd4e	1	OK	-	2026-06-25 10:13:44	0 / 1s
2026-06-25/101326-git-fetch-b5620d	0	OK	-	2026-06-25 10:13:43	0 / 17s
2026-06-25/101326-github-check-run-set-status-1265ec	0	OK	-	2026-06-25 10:13:27	0 / 1s
2026-06-24/160524-github-check-run-set-status-89216a	1	OK	-	2026-06-24 16:05:25	0 / 1s
2026-06-24/160521-git-fetch-810067	0	OK	-	2026-06-24 16:05:24	0 / 3s
2026-06-24/160521-github-check-run-set-status-8e090a	0	OK	-	2026-06-24 16:05:22	0 / 1s
2026-06-24/141920-github-check-run-set-status-d537b4	1	OK	-	2026-06-24 14:19:22	0 / 2s
2026-06-24/141913-git-fetch-f398d8	0	OK	-	2026-06-24 14:19:20	0 / 7s
2026-06-24/141913-github-check-run-set-status-a61f6e	0	OK	-	2026-06-24 14:19:14	0 / 1s
2026-06-24/131410-github-check-run-set-status-a96517	1	OK	-	2026-06-24 13:14:12	0 / 2s
2026-06-24/131401-git-fetch-b71a6d	0	OK	-	2026-06-24 13:14:10	0 / 9s
2026-06-24/131401-github-check-run-set-status-028d2f	0	OK	-	2026-06-24 13:14:02	0 / 1s
2026-06-23/075426-github-check-run-set-status-9a9dd5	1	OK	-	2026-06-23 07:54:27	0 / 1s
2026-06-23/075409-git-fetch-bb0a82	0	OK	-	2026-06-23 07:54:26	0 / 17s
2026-06-23/075409-github-check-run-set-status-2286f7	0	OK	-	2026-06-23 07:54:11	0 / 2s
2026-06-22/212314-github-check-run-set-status-05a33c	1	OK	-	2026-06-22 21:23:15	0 / 1s
2026-06-22/212307-git-fetch-bb7a56	0	OK	-	2026-06-22 21:23:14	0 / 7s
2026-06-22/212307-github-check-run-set-status-cac1cb	0	OK	-	2026-06-22 21:23:08	0 / 1s
2026-06-22/211635-github-check-run-set-status-a19e87	1	OK	-	2026-06-22 21:16:36	0 / 1s
2026-06-22/211632-git-fetch-706898	0	OK	-	2026-06-22 21:16:35	0 / 3s
2026-06-22/211632-github-check-run-set-status-2b861f	0	OK	-	2026-06-22 21:16:33	0 / 1s
2026-06-22/193333-github-check-run-set-status-cfbcea	1	OK	-	2026-06-22 19:33:34	0 / 1s
2026-06-22/193229-git-fetch-daf88a	0	OK	-	2026-06-22 19:33:33	0 / 1min4s
2026-06-22/193229-github-check-run-set-status-165235	0	OK	-	2026-06-22 19:32:29	0 / 0
2026-06-22/134738-github-check-run-set-status-d014e2	1	OK	-	2026-06-22 13:47:40	1s / 1s
2026-06-22/134738-github-check-run-set-status-f1ba92	1	OK	-	2026-06-22 13:47:39	0 / 1s
2026-06-22/134350-docker-build-718207	0	OK	-	2026-06-22 13:47:38	0 / 3min48s
2026-06-22/134351-github-check-run-set-status-e8274f	0	OK	-	2026-06-22 13:43:53	1s / 1s
2026-06-22/134350-github-check-run-set-status-6b8eab	0	OK	-	2026-06-22 13:43:52	1s / 1s
2026-06-22/134349-git-fetch-874c4e	0	OK	-	2026-06-22 13:43:50	0 / 1s
2026-06-22/134349-git-fetch-df53ed	0	OK	-	2026-06-22 13:43:50	0 / 1s
2026-06-22/113424-github-check-run-set-status-10ea79	1	OK	-	2026-06-22 11:34:25	0 / 1s
2026-06-22/113030-docker-compose-423670	0	OK	-	2026-06-22 11:34:24	0 / 3min54s
2026-06-22/113030-github-check-run-set-status-94ca16	0	OK	-	2026-06-22 11:30:31	0 / 1s
2026-06-22/113022-git-fetch-81af97	0	OK	-	2026-06-22 11:30:30	0 / 8s
2026-06-22/104831-github-check-run-set-status-910392	1	OK	-	2026-06-22 10:48:32	0 / 1s
2026-06-22/104819-git-fetch-967166	0	OK	-	2026-06-22 10:48:31	0 / 12s
2026-06-22/104819-github-check-run-set-status-3671f5	0	OK	-	2026-06-22 10:48:20	0 / 1s
2026-06-21/100520-github-check-run-set-status-45a234	1	OK	-	2026-06-21 10:05:21	0 / 1s
2026-06-21/100510-git-fetch-02d5ca	0	OK	-	2026-06-21 10:05:20	0 / 10s
2026-06-21/100510-github-check-run-set-status-27a182	0	OK	-	2026-06-21 10:05:11	0 / 1s
2026-06-19/131429-github-check-run-set-status-415530	1	OK	-	2026-06-19 13:14:31	0 / 2s
2026-06-19/131411-git-fetch-01a864	0	OK	-	2026-06-19 13:14:29	0 / 18s
2026-06-19/131411-github-check-run-set-status-897648	0	OK	-	2026-06-19 13:14:12	0 / 1s
2026-06-18/113122-github-check-run-set-status-c11718	1	OK	-	2026-06-18 11:31:23	0 / 1s
2026-06-18/113055-git-fetch-aa8916	0	OK	-	2026-06-18 11:31:22	0 / 27s
2026-06-18/113055-github-check-run-set-status-073bdc	0	OK	-	2026-06-18 11:30:56	0 / 1s
2026-06-17/143935-github-check-run-set-status-389491	1	OK	-	2026-06-17 14:39:36	0 / 1s
2026-06-17/143415-docker-compose-78693e	0	OK	-	2026-06-17 14:39:34	0 / 5min19s
2026-06-17/143415-github-check-run-set-status-30b80e	0	OK	-	2026-06-17 14:34:17	0 / 2s
2026-06-17/143413-git-fetch-77d50a	0	OK	-	2026-06-17 14:34:15	0 / 2s
2026-06-17/132856-github-check-run-set-status-a6031d	1	OK	-	2026-06-17 13:28:58	0 / 2s
2026-06-17/132834-git-fetch-a3b0e2	0	OK	-	2026-06-17 13:28:56	0 / 22s
2026-06-17/132834-github-check-run-set-status-15ca52	0	OK	-	2026-06-17 13:28:35	0 / 1s
2026-06-16/144238-github-check-run-set-status-2f33c6	1	OK	-	2026-06-16 14:42:39	0 / 1s
2026-06-16/144230-git-fetch-cfac4b	0	OK	-	2026-06-16 14:42:38	0 / 8s
2026-06-16/144230-github-check-run-set-status-b41b89	0	OK	-	2026-06-16 14:42:32	0 / 2s
2026-06-16/125133-github-check-run-set-status-efa34b	1	OK	-	2026-06-16 12:51:34	0 / 1s
2026-06-16/125126-git-fetch-e04d42	0	OK	-	2026-06-16 12:51:33	0 / 7s
2026-06-16/125126-github-check-run-set-status-eff714	0	OK	-	2026-06-16 12:51:27	0 / 1s
2026-06-16/082001-github-check-run-set-status-2f916c	1	OK	-	2026-06-16 08:20:02	0 / 1s
2026-06-16/081949-git-fetch-d1bff8	0	OK	-	2026-06-16 08:20:01	0 / 12s
2026-06-16/081949-github-check-run-set-status-c6b132	0	OK	-	2026-06-16 08:19:50	0 / 1s
2026-06-15/132010-github-check-run-set-status-b3fc6f	1	OK	-	2026-06-15 13:20:11	0 / 1s
2026-06-15/131838-git-fetch-794329	0	OK	-	2026-06-15 13:20:10	0 / 1min32s
2026-06-15/131838-github-check-run-set-status-987f00	0	OK	-	2026-06-15 13:18:39	0 / 1s
2026-06-15/091038-github-check-run-set-status-73dd32	1	OK	-	2026-06-15 09:10:39	0 / 1s
2026-06-15/090717-docker-compose-bae192	0	OK	-	2026-06-15 09:10:38	0 / 3min21s
2026-06-15/090747-github-check-run-set-status-9974c0	2	OK	-	2026-06-15 09:07:48	0 / 1s
2026-06-15/085822-docker-build-a29c9b	0	OK	-	2026-06-15 09:07:47	6min51s / 2min34s
2026-06-15/090717-github-check-run-set-status-7e8056	0	OK	-	2026-06-15 09:07:18	0 / 1s
2026-06-15/090715-git-fetch-e8bf56	0	OK	-	2026-06-15 09:07:17	0 / 2s
2026-06-15/090513-github-check-run-set-status-713f4f	2	OK	-	2026-06-15 09:05:16	2s / 1s
2026-06-15/090513-github-check-run-set-status-710d46	2	OK	-	2026-06-15 09:05:15	0 / 2s
2026-06-15/085821-docker-build-2082a0	0	OK	-	2026-06-15 09:05:13	4min10s / 2min42s
2026-06-15/090231-github-check-run-set-status-aab1a6	2	OK	-	2026-06-15 09:02:32	0 / 1s
2026-06-15/085820-docker-build-bea7fe	0	OK	-	2026-06-15 09:02:31	0 / 4min11s
2026-06-15/085822-github-check-run-set-status-a95801	1	OK	-	2026-06-15 08:58:24	1s / 1s
2026-06-15/085822-github-check-run-set-status-317f9f	1	OK	-	2026-06-15 08:58:23	0 / 1s
2026-06-15/085811-git-fetch-baeeb0	0	OK	-	2026-06-15 08:58:22	0 / 11s
2026-06-15/085821-github-check-run-set-status-dca053	1	OK	-	2026-06-15 08:58:22	0 / 1s
2026-06-15/085811-git-fetch-84722b	0	OK	-	2026-06-15 08:58:22	0 / 11s
2026-06-15/085811-git-fetch-b6ce73	0	OK	-	2026-06-15 08:58:21	0 / 10s
2026-06-15/085820-github-check-run-set-status-103ac8	1	OK	-	2026-06-15 08:58:21	0 / 1s
2026-06-15/085811-git-fetch-97a15d	0	OK	-	2026-06-15 08:58:20	0 / 9s
2026-06-15/085811-github-check-run-set-status-37b159	0	OK	-	2026-06-15 08:58:15	3s / 1s
2026-06-15/085811-github-check-run-set-status-3b9767	0	OK	-	2026-06-15 08:58:14	2s / 1s
2026-06-15/085811-github-check-run-set-status-784f55	0	OK	-	2026-06-15 08:58:13	1s / 1s
2026-06-15/085811-github-check-run-set-status-f342cd	0	OK	-	2026-06-15 08:58:12	0 / 1s
2026-06-13/113019-github-check-run-set-status-988689	1	OK	-	2026-06-13 11:30:20	0 / 1s
2026-06-13/113011-git-fetch-9e1eb4	0	OK	-	2026-06-13 11:30:19	0 / 8s
2026-06-13/113011-github-check-run-set-status-d692db	0	OK	-	2026-06-13 11:30:12	0 / 1s
2026-06-12/163816-github-check-run-set-status-04dc15	1	OK	-	2026-06-12 16:38:17	0 / 1s
2026-06-12/163812-git-fetch-3ef67f	0	OK	-	2026-06-12 16:38:16	0 / 4s