deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
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
2026-05-25/195509-github-check-run-set-status-2c8fb8	1	OK	-	2026-05-25 19:55:10	1s / 0
2026-05-25/195509-github-check-run-set-status-68e8c1	1	OK	-	2026-05-25 19:55:10	0 / 1s
2026-05-25/195238-docker-build-fdf62b	0	OK	-	2026-05-25 19:55:09	0 / 2min31s
2026-05-25/195239-github-check-run-set-status-f1919c	0	OK	-	2026-05-25 19:52:41	2s / 0
2026-05-25/195238-github-check-run-set-status-a1492b	0	OK	-	2026-05-25 19:52:41	2s / 1s
2026-05-25/195238-github-check-run-set-status-19436e	0	OK	-	2026-05-25 19:52:40	1s / 1s
2026-05-25/195237-git-fetch-169f5f	0	OK	-	2026-05-25 19:52:38	0 / 1s
2026-05-25/195237-git-fetch-7ee346	0	OK	-	2026-05-25 19:52:38	0 / 1s
2026-05-25/195237-git-fetch-c54dd2	0	OK	-	2026-05-25 19:52:37	0 / 0
2026-05-24/115009-github-check-run-set-status-082b34	2	OK	-	2026-05-24 11:50:10	0 / 1s
2026-05-24/114732-docker-build-ea792b	0	OK	-	2026-05-24 11:50:09	0 / 2min37s
2026-05-24/114732-github-check-run-set-status-806b38	1	OK	-	2026-05-24 11:47:33	0 / 1s
2026-05-24/114730-git-fetch-342176	0	OK	-	2026-05-24 11:47:32	0 / 2s
2026-05-24/114730-github-check-run-set-status-19a98c	0	OK	-	2026-05-24 11:47:31	0 / 1s
2026-05-23/111728-github-check-run-set-status-69c709	1	OK	-	2026-05-23 11:17:29	0 / 1s
2026-05-23/111722-git-fetch-ca210e	0	OK	-	2026-05-23 11:17:28	0 / 6s
2026-05-23/111722-github-check-run-set-status-d2bbf3	0	OK	-	2026-05-23 11:17:22	0 / 0
2026-05-23/104413-github-check-run-set-status-66c74e	1	OK	-	2026-05-23 10:44:14	0 / 1s
2026-05-23/104406-git-fetch-dffdfa	0	OK	-	2026-05-23 10:44:13	0 / 7s
2026-05-23/104406-github-check-run-set-status-7a2303	0	OK	-	2026-05-23 10:44:07	0 / 1s
2026-05-23/102644-github-check-run-set-status-a9f3dd	1	OK	-	2026-05-23 10:26:45	0 / 1s
2026-05-23/102640-git-fetch-075896	0	OK	-	2026-05-23 10:26:44	0 / 4s
2026-05-23/102640-github-check-run-set-status-0270e4	0	OK	-	2026-05-23 10:26:41	0 / 1s
2026-05-23/095316-github-check-run-set-status-528239	1	Failed to set GitHub status	-	2026-05-23 09:53:16	0 / 0
2026-05-23/095308-git-fetch-57af0c	0	OK	-	2026-05-23 09:53:16	0 / 8s
2026-05-23/095308-github-check-run-set-status-7f88f7	0	OK	-	2026-05-23 09:53:09	0 / 1s
2026-05-22/212140-github-check-run-set-status-65773a	1	OK	-	2026-05-22 21:21:41	0 / 1s
2026-05-22/212028-git-fetch-1df2e3	0	OK	-	2026-05-22 21:21:40	0 / 1min12s
2026-05-22/212028-github-check-run-set-status-fae8f6	0	OK	-	2026-05-22 21:20:29	0 / 1s
2026-05-22/122841-github-check-run-set-status-495283	1	OK	-	2026-05-22 12:28:42	0 / 1s