deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
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
2026-06-02/122709-git-fetch-afc9a1	0	OK	-	2026-06-02 12:27:15	0 / 6s
2026-06-02/122709-github-check-run-set-status-efd2bd	0	OK	-	2026-06-02 12:27:10	0 / 1s
2026-06-01/193515-github-check-run-set-status-34ade6	1	OK	-	2026-06-01 19:35:16	0 / 1s
2026-06-01/193508-git-fetch-9ed47d	0	OK	-	2026-06-01 19:35:15	0 / 7s
2026-06-01/193508-github-check-run-set-status-7db1b6	0	OK	-	2026-06-01 19:35:09	0 / 1s
2026-06-01/132546-github-check-run-set-status-ebe71f	1	OK	-	2026-06-01 13:25:47	0 / 1s
2026-06-01/132540-git-fetch-5478d6	0	OK	-	2026-06-01 13:25:46	0 / 6s
2026-06-01/132540-github-check-run-set-status-260e68	0	OK	-	2026-06-01 13:25:41	0 / 1s
2026-06-01/131808-github-check-run-set-status-962733	1	OK	-	2026-06-01 13:18:10	0 / 2s
2026-06-01/131757-git-fetch-efd347	0	OK	-	2026-06-01 13:18:08	0 / 11s
2026-06-01/131757-github-check-run-set-status-150b5c	0	OK	-	2026-06-01 13:17:58	0 / 1s
2026-05-30/103234-github-check-run-set-status-0ee700	1	OK	-	2026-05-30 10:32:35	0 / 1s
2026-05-30/102933-docker-compose-1c1ecf	0	OK	-	2026-05-30 10:32:34	0 / 3min1s
2026-05-30/102933-github-check-run-set-status-1a2ccb	0	OK	-	2026-05-30 10:29:34	0 / 1s
2026-05-30/102932-git-fetch-93d0ff	0	OK	-	2026-05-30 10:29:33	0 / 1s
2026-05-29/152148-github-check-run-set-status-4fb4af	2	OK	-	2026-05-29 15:21:49	0 / 1s
2026-05-29/151845-docker-build-51ba9f	0	OK	-	2026-05-29 15:21:48	0 / 3min3s
2026-05-29/151845-github-check-run-set-status-7a32b4	1	OK	-	2026-05-29 15:18:47	0 / 2s
2026-05-29/151840-git-fetch-d0d379	0	OK	-	2026-05-29 15:18:45	0 / 5s
2026-05-29/151840-github-check-run-set-status-d761da	0	OK	-	2026-05-29 15:18:41	0 / 1s
2026-05-29/151136-github-check-run-set-status-8f67c3	1	OK	-	2026-05-29 15:11:37	0 / 1s
2026-05-29/151011-git-fetch-6d6011	0	OK	-	2026-05-29 15:11:36	0 / 1min25s
2026-05-29/151011-github-check-run-set-status-852ac6	0	OK	-	2026-05-29 15:10:12	0 / 1s
2026-05-28/205015-github-check-run-set-status-890580	1	OK	-	2026-05-28 20:50:16	0 / 1s
2026-05-28/205008-git-fetch-1be1aa	0	OK	-	2026-05-28 20:50:15	0 / 7s
2026-05-28/205008-github-check-run-set-status-a0af07	0	OK	-	2026-05-28 20:50:09	0 / 1s
2026-05-28/130955-github-check-run-set-status-a42e8b	1	OK	-	2026-05-28 13:09:56	0 / 1s
2026-05-28/130949-git-fetch-11d6b3	0	OK	-	2026-05-28 13:09:55	0 / 6s
2026-05-28/130949-github-check-run-set-status-dd9f4b	0	OK	-	2026-05-28 13:09:50	0 / 1s
2026-05-28/112709-github-check-run-set-status-d9bb9b	1	OK	-	2026-05-28 11:27:10	0 / 1s
2026-05-28/112637-git-fetch-9e17ce	0	OK	-	2026-05-28 11:27:09	0 / 32s
2026-05-28/112637-github-check-run-set-status-7004f8	0	OK	-	2026-05-28 11:26:38	0 / 1s
2026-05-27/163618-github-check-run-set-status-1e89f5	1	OK	-	2026-05-27 16:36:19	0 / 1s
2026-05-27/163526-git-fetch-b2f335	0	OK	-	2026-05-27 16:36:18	0 / 52s
2026-05-27/163526-github-check-run-set-status-1ec37d	0	OK	-	2026-05-27 16:35:27	0 / 1s
2026-05-27/094101-github-check-run-set-status-604fb4	1	OK	-	2026-05-27 09:41:02	0 / 1s
2026-05-27/093304-docker-compose-b9b62a	0	OK	-	2026-05-27 09:41:01	0 / 7min57s
2026-05-27/093304-github-check-run-set-status-6f4fc5	0	OK	-	2026-05-27 09:33:05	0 / 1s
2026-05-27/093300-git-fetch-9b182d	0	OK	-	2026-05-27 09:33:04	0 / 4s
2026-05-26/143011-github-check-run-set-status-f1f3af	1	OK	-	2026-05-26 14:30:12	0 / 1s
2026-05-26/143006-git-fetch-4a9118	0	OK	-	2026-05-26 14:30:11	0 / 5s
2026-05-26/143006-github-check-run-set-status-11d333	0	OK	-	2026-05-26 14:30:07	0 / 1s
2026-05-26/130038-github-check-run-set-status-6c0fe8	1	OK	-	2026-05-26 13:00:39	0 / 1s
2026-05-26/130032-git-fetch-576150	0	OK	-	2026-05-26 13:00:38	0 / 6s
2026-05-26/130032-github-check-run-set-status-9c5493	0	OK	-	2026-05-26 13:00:33	0 / 1s
2026-05-26/122847-github-check-run-set-status-2e3dd3	1	OK	-	2026-05-26 12:28:48	0 / 1s
2026-05-26/122838-git-fetch-013855	0	OK	-	2026-05-26 12:28:47	0 / 9s
2026-05-26/122838-github-check-run-set-status-c0d3de	0	OK	-	2026-05-26 12:28:39	0 / 1s
2026-05-26/121923-github-check-run-set-status-cb37b2	1	OK	-	2026-05-26 12:19:24	0 / 1s
2026-05-26/121852-git-fetch-3d4c55	0	OK	-	2026-05-26 12:19:23	0 / 31s
2026-05-26/121852-github-check-run-set-status-1116ec	0	OK	-	2026-05-26 12:18:54	0 / 2s