deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-09-03/131107-github-check-run-set-status-f28d9f	1	OK	-	2026-09-03 13:11:09	0 / 2s
2026-09-03/131030-git-fetch-18b04f	0	OK	-	2026-09-03 13:11:07	0 / 37s
2026-09-03/131030-github-check-run-set-status-c209ad	0	OK	-	2026-09-03 13:10:31	0 / 1s
2026-09-02/140757-github-check-run-set-status-5e069f	1	OK	-	2026-09-02 14:07:58	0 / 1s
2026-09-02/140427-docker-compose-e69fa9	0	OK	-	2026-09-02 14:07:57	0 / 3min30s
2026-09-02/140427-github-check-run-set-status-40506c	0	OK	-	2026-09-02 14:04:28	0 / 1s
2026-09-02/140424-git-fetch-082fb6	0	OK	-	2026-09-02 14:04:27	0 / 3s
2026-09-02/134843-github-check-run-set-status-df51b2	1	OK	-	2026-09-02 13:48:47	0 / 4s
2026-09-02/134732-git-fetch-81aac2	0	OK	-	2026-09-02 13:48:43	0 / 1min11s
2026-09-02/134732-github-check-run-set-status-63e67b	0	OK	-	2026-09-02 13:47:34	0 / 2s
2026-09-02/134028-github-check-run-set-status-1bbed5	1	OK	-	2026-09-02 13:40:32	0 / 4s
2026-09-02/133926-git-fetch-2640c8	0	OK	-	2026-09-02 13:40:28	0 / 1min2s
2026-09-02/133926-github-check-run-set-status-bba4af	0	OK	-	2026-09-02 13:39:29	0 / 3s
2026-09-02/122628-git-fetch-2324b0	0	Command "git" "-C" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0" "fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/rocq-prover.org.git" "refs/heads/main" exited with status 128	-	2026-09-02 12:26:29	0 / 1s
2026-09-02/122552-github-check-run-set-status-ab270a	3	OK	-	2026-09-02 12:25:54	0 / 2s
2026-09-02/122220-docker-build-7611a6	0	OK	-	2026-09-02 12:25:52	0 / 3min32s
2026-09-02/122220-github-check-run-set-status-f64617	2	OK	-	2026-09-02 12:22:21	0 / 1s
2026-09-02/122207-git-fetch-b216c2	1	OK	-	2026-09-02 12:22:20	0 / 13s
2026-09-02/122207-github-check-run-set-status-1e3df4	1	OK	-	2026-09-02 12:22:08	0 / 1s
2026-09-02/122012-github-check-run-set-status-f17640	0	OK	-	2026-09-02 12:20:13	0 / 1s
2026-09-02/122011-git-fetch-331f5f	0	Command "git" "-C" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0" "fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/rocq-prover.org.git" "refs/pull/270/head" exited with status 128	-	2026-09-02 12:20:12	0 / 1s
2026-09-02/122011-git-fetch-0a6349	0	Command "git" "-C" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0" "fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/rocq-prover.org.git" "refs/heads/main" exited with status 128	-	2026-09-02 12:20:12	0 / 1s
2026-09-02/120037-github-check-run-set-status-7888db	0	OK	-	2026-09-02 12:00:39	1s / 1s
2026-09-02/120036-github-check-run-set-status-6b6684	0	OK	-	2026-09-02 12:00:38	1s / 1s
2026-09-02/120035-git-fetch-b52f9b	0	Command "git" "-C" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0" "fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/rocq-prover.org.git" "refs/pull/269/head" exited with status 128	-	2026-09-02 12:00:36	0 / 1s
2026-09-02/120035-git-fetch-70dc97	0	Command "git" "-C" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0" "fetch" "--recurse-submodules=false" "-q" "-f" "https://github.com/rocq-prover/rocq-prover.org.git" "refs/heads/mention-consortium" exited with status 128	Needs rebuild	2026-09-02 12:00:36	0 / 1s
2026-09-02/104157-github-check-run-set-status-f85035	0	OK	-	2026-09-02 10:41:58	0 / 1s
2026-09-02/104156-git-fetch-b58e8e	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-09-02 10:41:57	0 / 1s
2026-09-01/102402-github-check-run-set-status-e0f6ef	1	OK	-	2026-09-01 10:24:03	0 / 1s
2026-09-01/102358-git-fetch-0af9d6	0	OK	-	2026-09-01 10:24:02	0 / 4s
2026-09-01/102358-github-check-run-set-status-d00b8b	0	OK	-	2026-09-01 10:23:59	0 / 1s
2026-09-01/090741-github-check-run-set-status-6ec364	1	OK	-	2026-09-01 09:07:42	0 / 1s
2026-09-01/090736-git-fetch-1311cd	0	OK	-	2026-09-01 09:07:41	0 / 5s
2026-09-01/090736-github-check-run-set-status-baedcc	0	OK	-	2026-09-01 09:07:37	0 / 1s
2026-09-01/085425-github-check-run-set-status-4a6ee6	1	OK	-	2026-09-01 08:54:26	0 / 1s
2026-09-01/085417-git-fetch-6ccc13	0	OK	-	2026-09-01 08:54:25	0 / 8s
2026-09-01/085417-github-check-run-set-status-4e8548	0	OK	-	2026-09-01 08:54:18	0 / 1s
2026-09-01/065138-github-check-run-set-status-29b4e1	1	OK	-	2026-09-01 06:51:39	0 / 1s
2026-09-01/065114-git-fetch-36d1be	0	OK	-	2026-09-01 06:51:38	0 / 24s
2026-09-01/065114-github-check-run-set-status-1cd872	0	OK	-	2026-09-01 06:51:15	0 / 1s
2026-08-28/172350-github-check-run-set-status-78b42d	1	OK	-	2026-08-28 17:23:51	0 / 1s
2026-08-28/172205-git-fetch-bdaf74	0	OK	-	2026-08-28 17:23:50	0 / 1min45s
2026-08-28/172205-github-check-run-set-status-1d6589	0	OK	-	2026-08-28 17:22:06	0 / 1s
2026-08-27/142727-github-check-run-set-status-9393e6	1	OK	-	2026-08-27 14:27:28	0 / 1s
2026-08-27/142717-git-fetch-c7ab48	0	OK	-	2026-08-27 14:27:27	0 / 10s
2026-08-27/142717-github-check-run-set-status-3df6db	0	OK	-	2026-08-27 14:27:18	0 / 1s
2026-08-27/120659-github-check-run-set-status-ee1ba9	1	OK	-	2026-08-27 12:07:00	0 / 1s
2026-08-27/120651-git-fetch-da6610	0	OK	-	2026-08-27 12:06:59	0 / 8s
2026-08-27/120651-github-check-run-set-status-20bf54	0	OK	-	2026-08-27 12:06:52	0 / 1s
2026-08-27/065218-github-check-run-set-status-ea2113	1	OK	-	2026-08-27 06:52:19	0 / 1s
2026-08-27/065034-git-fetch-44978c	0	OK	-	2026-08-27 06:52:18	0 / 1min44s
2026-08-27/065034-github-check-run-set-status-f631b8	0	OK	-	2026-08-27 06:50:35	0 / 1s
2026-08-26/145516-github-check-run-set-status-aa8af3	1	OK	-	2026-08-26 14:55:17	0 / 1s
2026-08-26/145433-git-fetch-2f342c	0	OK	-	2026-08-26 14:55:16	0 / 43s
2026-08-26/145433-github-check-run-set-status-585534	0	OK	-	2026-08-26 14:54:34	0 / 1s
2026-08-24/135021-github-check-run-set-status-a0aa50	1	OK	-	2026-08-24 13:50:23	0 / 2s
2026-08-24/134959-git-fetch-f3aafe	0	OK	-	2026-08-24 13:50:21	0 / 22s
2026-08-24/134959-github-check-run-set-status-b83af9	0	OK	-	2026-08-24 13:50:00	0 / 1s
2026-08-22/121944-github-check-run-set-status-caab88	1	OK	-	2026-08-22 12:19:44	0 / 0
2026-08-22/121939-git-fetch-c2c8cd	0	OK	-	2026-08-22 12:19:44	0 / 5s
2026-08-22/121939-github-check-run-set-status-a74812	0	OK	-	2026-08-22 12:19:40	0 / 1s
2026-08-22/121024-github-check-run-set-status-bf8dca	1	OK	-	2026-08-22 12:10:25	0 / 1s
2026-08-22/121019-git-fetch-3d58fb	0	OK	-	2026-08-22 12:10:24	0 / 5s
2026-08-22/121019-github-check-run-set-status-bb1021	0	OK	-	2026-08-22 12:10:19	0 / 0
2026-08-22/111443-github-check-run-set-status-799d53	1	OK	-	2026-08-22 11:14:44	0 / 1s
2026-08-22/111427-git-fetch-1d6320	0	OK	-	2026-08-22 11:14:43	0 / 16s
2026-08-22/111427-github-check-run-set-status-7b83e9	0	OK	-	2026-08-22 11:14:28	0 / 1s
2026-08-21/224245-github-check-run-set-status-3a4922	1	OK	-	2026-08-21 22:42:46	0 / 1s
2026-08-21/224241-git-fetch-55dc43	0	OK	-	2026-08-21 22:42:45	0 / 4s
2026-08-21/224241-github-check-run-set-status-b3a374	0	OK	-	2026-08-21 22:42:42	0 / 1s
2026-08-21/222043-github-check-run-set-status-116eb4	1	OK	-	2026-08-21 22:20:44	0 / 1s
2026-08-21/222037-git-fetch-3c13d3	0	OK	-	2026-08-21 22:20:43	0 / 6s
2026-08-21/222037-github-check-run-set-status-aceda6	0	OK	-	2026-08-21 22:20:38	0 / 1s
2026-08-21/221234-github-check-run-set-status-57f90c	1	OK	-	2026-08-21 22:12:35	0 / 1s
2026-08-21/221225-git-fetch-a6694a	0	OK	-	2026-08-21 22:12:34	0 / 9s
2026-08-21/221225-github-check-run-set-status-f57af5	0	OK	-	2026-08-21 22:12:26	0 / 1s
2026-08-21/123451-github-check-run-set-status-de5d1e	1	OK	-	2026-08-21 12:34:52	0 / 1s
2026-08-21/123447-git-fetch-b9decc	0	OK	-	2026-08-21 12:34:51	0 / 4s
2026-08-21/123447-github-check-run-set-status-ac8644	0	OK	-	2026-08-21 12:34:48	0 / 1s
2026-08-21/121630-github-check-run-set-status-4ebc8a	1	OK	-	2026-08-21 12:16:31	0 / 1s
2026-08-21/121624-git-fetch-3f8593	0	OK	-	2026-08-21 12:16:30	0 / 6s
2026-08-21/121624-github-check-run-set-status-818f90	0	OK	-	2026-08-21 12:16:25	0 / 1s
2026-08-21/070507-github-check-run-set-status-4702d9	1	OK	-	2026-08-21 07:05:08	0 / 1s
2026-08-21/070454-git-fetch-b089e0	0	OK	-	2026-08-21 07:05:07	0 / 13s
2026-08-21/070454-github-check-run-set-status-87fb58	0	OK	-	2026-08-21 07:04:55	0 / 1s
2026-08-20/150025-github-check-run-set-status-65886e	1	OK	-	2026-08-20 15:00:26	0 / 1s
2026-08-20/150021-git-fetch-2da182	0	OK	-	2026-08-20 15:00:25	0 / 4s
2026-08-20/150021-github-check-run-set-status-283bec	0	OK	-	2026-08-20 15:00:22	0 / 1s
2026-08-20/111913-github-check-run-set-status-5eef56	1	OK	-	2026-08-20 11:19:15	0 / 2s
2026-08-20/111908-git-fetch-b558b4	0	OK	-	2026-08-20 11:19:13	0 / 5s
2026-08-20/111908-github-check-run-set-status-25992c	0	OK	-	2026-08-20 11:19:09	0 / 1s
2026-08-20/093218-github-check-run-set-status-6abe81	1	OK	-	2026-08-20 09:32:20	0 / 2s
2026-08-20/093212-git-fetch-56f55c	0	OK	-	2026-08-20 09:32:18	0 / 6s
2026-08-20/093212-github-check-run-set-status-1d9a66	0	OK	-	2026-08-20 09:32:13	0 / 1s
2026-08-20/001948-github-check-run-set-status-88ad9f	1	OK	-	2026-08-20 00:19:49	0 / 1s
2026-08-20/001940-git-fetch-6ca7fa	0	OK	-	2026-08-20 00:19:48	0 / 8s
2026-08-20/001940-github-check-run-set-status-d65916	0	OK	-	2026-08-20 00:19:40	0 / 0
2026-08-19/203443-github-check-run-set-status-4c2064	1	OK	-	2026-08-19 20:34:45	0 / 2s
2026-08-19/203437-git-fetch-a67816	0	OK	-	2026-08-19 20:34:43	0 / 6s
2026-08-19/203437-github-check-run-set-status-45ea77	0	OK	-	2026-08-19 20:34:38	0 / 1s