deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
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
2026-06-12/163812-github-check-run-set-status-fae726	0	OK	-	2026-06-12 16:38:13	0 / 1s
2026-06-12/135300-github-check-run-set-status-c809a3	1	OK	-	2026-06-12 13:53:01	0 / 1s
2026-06-12/135251-git-fetch-355b39	0	OK	-	2026-06-12 13:53:00	0 / 9s
2026-06-12/135251-github-check-run-set-status-6d85a6	0	OK	-	2026-06-12 13:52:52	0 / 1s
2026-06-11/142623-github-check-run-set-status-c0baec	1	OK	-	2026-06-11 14:26:24	0 / 1s
2026-06-11/142618-git-fetch-527596	0	OK	-	2026-06-11 14:26:23	0 / 5s
2026-06-11/142618-github-check-run-set-status-f90c63	0	OK	-	2026-06-11 14:26:19	0 / 1s
2026-06-11/124148-github-check-run-set-status-e7f5a1	1	OK	-	2026-06-11 12:41:49	0 / 1s
2026-06-11/124143-git-fetch-ec6775	0	OK	-	2026-06-11 12:41:48	0 / 5s
2026-06-11/124143-github-check-run-set-status-200658	0	OK	-	2026-06-11 12:41:44	0 / 1s
2026-06-11/092916-github-check-run-set-status-4fd1b7	1	OK	-	2026-06-11 09:29:17	0 / 1s
2026-06-11/092910-git-fetch-f29273	0	OK	-	2026-06-11 09:29:16	0 / 6s
2026-06-11/092910-github-check-run-set-status-4a542f	0	OK	-	2026-06-11 09:29:11	0 / 1s
2026-06-10/115525-github-check-run-set-status-8755a3	1	OK	-	2026-06-10 11:55:26	0 / 1s
2026-06-10/115521-git-fetch-96ea4d	0	OK	-	2026-06-10 11:55:25	0 / 4s
2026-06-10/115521-github-check-run-set-status-f827d6	0	OK	-	2026-06-10 11:55:22	0 / 1s
2026-06-10/102007-github-check-run-set-status-3ad64f	1	OK	-	2026-06-10 10:20:08	0 / 1s
2026-06-10/101954-git-fetch-c4ceb6	0	OK	-	2026-06-10 10:20:07	0 / 13s
2026-06-10/101954-github-check-run-set-status-aa6e68	0	OK	-	2026-06-10 10:19:55	0 / 1s
2026-06-09/055708-github-check-run-set-status-c93879	1	OK	-	2026-06-09 05:57:09	0 / 1s
2026-06-09/055657-git-fetch-b7e250	0	OK	-	2026-06-09 05:57:08	0 / 11s
2026-06-09/055657-github-check-run-set-status-fad9bb	0	OK	-	2026-06-09 05:56:58	0 / 1s
2026-06-08/102627-github-check-run-set-status-b5aa30	1	OK	-	2026-06-08 10:26:28	0 / 1s
2026-06-08/102618-git-fetch-d5ff34	0	OK	-	2026-06-08 10:26:27	0 / 9s
2026-06-08/102618-github-check-run-set-status-cc1d8b	0	OK	-	2026-06-08 10:26:19	0 / 1s
2026-06-06/150304-github-check-run-set-status-01aa46	1	OK	-	2026-06-06 15:03:05	0 / 1s
2026-06-06/150253-git-fetch-37ece3	0	OK	-	2026-06-06 15:03:04	0 / 11s
2026-06-06/150253-github-check-run-set-status-051122	0	OK	-	2026-06-06 15:02:54	0 / 1s
2026-06-05/164130-github-check-run-set-status-416825	1	OK	-	2026-06-05 16:41:31	0 / 1s
2026-06-05/164111-git-fetch-72cb5b	0	OK	-	2026-06-05 16:41:30	0 / 19s
2026-06-05/164111-github-check-run-set-status-577644	0	OK	-	2026-06-05 16:41:12	0 / 1s
2026-06-03/191912-github-check-run-set-status-47be44	1	OK	-	2026-06-03 19:19:13	0 / 1s
2026-06-03/191906-git-fetch-5adf37	0	OK	-	2026-06-03 19:19:12	0 / 6s
2026-06-03/191906-github-check-run-set-status-5bac72	0	OK	-	2026-06-03 19:19:07	0 / 1s
2026-06-03/153452-github-check-run-set-status-de650a	1	OK	-	2026-06-03 15:34:54	0 / 2s
2026-06-03/153448-git-fetch-dd2cad	0	OK	-	2026-06-03 15:34:52	0 / 4s
2026-06-03/153448-github-check-run-set-status-ffcd42	0	OK	-	2026-06-03 15:34:49	0 / 1s
2026-06-03/145214-github-check-run-set-status-0d4c6a	1	OK	-	2026-06-03 14:52:17	0 / 3s
2026-06-03/144914-git-fetch-185fc8	0	Command "git" "-C" "/var/lib/rocqprover/var/git/doc.git-ea1a9162454a2a868e1a3c19afb2b701bc5c48a032d549fd2d063d76aa2c2d0f" "fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/doc.git" "refs/heads/master" exited with status 128	-	2026-06-03 14:52:14	0 / 3min
2026-06-03/144914-github-check-run-set-status-705c0f	0	OK	-	2026-06-03 14:49:18	0 / 4s
2026-06-03/101125-github-check-run-set-status-2fd19f	1	OK	-	2026-06-03 10:11:26	0 / 1s
2026-06-03/101118-git-fetch-6b6348	0	OK	-	2026-06-03 10:11:25	0 / 7s
2026-06-03/101118-github-check-run-set-status-5bb176	0	OK	-	2026-06-03 10:11:19	0 / 1s
2026-06-03/091848-github-check-run-set-status-0c603d	1	OK	-	2026-06-03 09:18:50	0 / 2s
2026-06-03/091838-git-fetch-f23d1c	0	OK	-	2026-06-03 09:18:48	0 / 10s
2026-06-03/091838-github-check-run-set-status-d6af61	0	OK	-	2026-06-03 09:18:39	0 / 1s
2026-06-02/122715-github-check-run-set-status-0d9bbf	1	OK	-	2026-06-02 12:27:16	0 / 1s