deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-09-11/152555-github-check-run-set-status-acd9fc	1	OK	-	2026-09-11 15:25:56	0 / 1s
2026-09-11/152551-git-fetch-36a29d	0	OK	-	2026-09-11 15:25:55	0 / 4s
2026-09-11/152551-github-check-run-set-status-52e26e	0	OK	-	2026-09-11 15:25:52	0 / 1s
2026-09-11/150735-github-check-run-set-status-0e36a9	1	OK	-	2026-09-11 15:07:36	0 / 1s
2026-09-11/150730-git-fetch-c98e1c	0	OK	-	2026-09-11 15:07:35	0 / 5s
2026-09-11/150730-github-check-run-set-status-b4fc9d	0	OK	-	2026-09-11 15:07:31	0 / 1s
2026-09-11/073659-github-check-run-set-status-876fda	1	OK	-	2026-09-11 07:37:00	0 / 1s
2026-09-11/073654-git-fetch-b50899	0	OK	-	2026-09-11 07:36:59	0 / 5s
2026-09-11/073654-github-check-run-set-status-2b3772	0	OK	-	2026-09-11 07:36:54	0 / 0
2026-09-11/070026-github-check-run-set-status-a99b3b	1	OK	-	2026-09-11 07:00:27	0 / 1s
2026-09-11/070008-git-fetch-3bcdb9	0	OK	-	2026-09-11 07:00:26	0 / 18s
2026-09-11/070008-github-check-run-set-status-6ace66	0	OK	-	2026-09-11 07:00:09	0 / 1s
2026-09-10/173745-github-check-run-set-status-82a5ce	1	OK	-	2026-09-10 17:37:46	0 / 1s
2026-09-10/173741-git-fetch-39835a	0	OK	-	2026-09-10 17:37:45	0 / 4s
2026-09-10/173741-github-check-run-set-status-745695	0	OK	-	2026-09-10 17:37:42	0 / 1s
2026-09-10/121408-github-check-run-set-status-fd9c07	1	OK	-	2026-09-10 12:14:09	0 / 1s
2026-09-10/121404-git-fetch-e5358f	0	OK	-	2026-09-10 12:14:08	0 / 4s
2026-09-10/121404-github-check-run-set-status-e68af1	0	OK	-	2026-09-10 12:14:05	0 / 1s
2026-09-10/101037-github-check-run-set-status-e89583	1	OK	-	2026-09-10 10:10:38	0 / 1s
2026-09-10/101031-git-fetch-bba783	0	OK	-	2026-09-10 10:10:37	0 / 6s
2026-09-10/101031-github-check-run-set-status-9b50de	0	OK	-	2026-09-10 10:10:32	0 / 1s
2026-09-10/082142-github-check-run-set-status-ebe572	1	OK	-	2026-09-10 08:21:44	0 / 2s
2026-09-10/082135-git-fetch-7fab2a	0	OK	-	2026-09-10 08:21:42	0 / 7s
2026-09-10/082135-github-check-run-set-status-c02050	0	OK	-	2026-09-10 08:21:36	0 / 1s
2026-09-09/183029-github-check-run-set-status-b9a841	1	OK	-	2026-09-09 18:30:30	0 / 1s
2026-09-09/183023-git-fetch-2ceda9	0	OK	-	2026-09-09 18:30:29	0 / 6s
2026-09-09/183023-github-check-run-set-status-de6a02	0	OK	-	2026-09-09 18:30:25	0 / 2s
2026-09-09/141243-github-check-run-set-status-2aa958	1	OK	-	2026-09-09 14:12:44	0 / 1s
2026-09-09/141237-git-fetch-7f6a35	0	OK	-	2026-09-09 14:12:43	0 / 6s
2026-09-09/141237-github-check-run-set-status-cd0c66	0	OK	-	2026-09-09 14:12:38	0 / 1s
2026-09-09/123720-github-check-run-set-status-36133f	1	OK	-	2026-09-09 12:37:21	0 / 1s
2026-09-09/123715-git-fetch-19e1f6	0	OK	-	2026-09-09 12:37:20	0 / 5s
2026-09-09/123715-github-check-run-set-status-f40820	0	OK	-	2026-09-09 12:37:16	0 / 1s
2026-09-09/111637-github-check-run-set-status-634122	1	OK	-	2026-09-09 11:16:39	0 / 2s
2026-09-09/111625-git-fetch-821af9	0	OK	-	2026-09-09 11:16:37	0 / 12s
2026-09-09/111625-github-check-run-set-status-1cf90c	0	OK	-	2026-09-09 11:16:26	0 / 1s
2026-09-08/175602-github-check-run-set-status-79007c	1	OK	-	2026-09-08 17:56:03	0 / 1s
2026-09-08/175555-git-fetch-966c89	0	OK	-	2026-09-08 17:56:02	0 / 7s
2026-09-08/175555-github-check-run-set-status-2accff	0	OK	-	2026-09-08 17:55:56	0 / 1s
2026-09-08/090655-github-check-run-set-status-c29516	1	OK	-	2026-09-08 09:06:56	0 / 1s
2026-09-08/090648-git-fetch-ef49eb	0	OK	-	2026-09-08 09:06:55	0 / 7s
2026-09-08/090648-github-check-run-set-status-b0cca1	0	OK	-	2026-09-08 09:06:49	0 / 1s
2026-09-08/082445-github-check-run-set-status-86da43	1	OK	-	2026-09-08 08:24:46	0 / 1s
2026-09-08/082440-git-fetch-85d790	0	OK	-	2026-09-08 08:24:45	0 / 5s
2026-09-08/082440-github-check-run-set-status-1a1cd2	0	OK	-	2026-09-08 08:24:41	0 / 1s
2026-09-08/081125-github-check-run-set-status-33ee51	1	OK	-	2026-09-08 08:11:26	0 / 1s
2026-09-08/081113-git-fetch-51f878	0	OK	-	2026-09-08 08:11:25	0 / 12s
2026-09-08/081113-github-check-run-set-status-75caec	0	OK	-	2026-09-08 08:11:14	0 / 1s
2026-09-07/151450-github-check-run-set-status-703139	1	OK	-	2026-09-07 15:14:51	0 / 1s
2026-09-07/151444-git-fetch-3229c6	0	OK	-	2026-09-07 15:14:50	0 / 6s
2026-09-07/151444-github-check-run-set-status-a1aa0e	0	OK	-	2026-09-07 15:14:45	0 / 1s
2026-09-07/142047-github-check-run-set-status-61eba3	1	OK	-	2026-09-07 14:20:48	0 / 1s
2026-09-07/142040-git-fetch-fe82ed	0	OK	-	2026-09-07 14:20:47	0 / 7s
2026-09-07/142040-github-check-run-set-status-25e37b	0	OK	-	2026-09-07 14:20:41	0 / 1s
2026-09-07/122827-github-check-run-set-status-096533	1	OK	-	2026-09-07 12:28:28	0 / 1s
2026-09-07/122751-git-fetch-7fbf6d	0	OK	-	2026-09-07 12:28:27	0 / 36s
2026-09-07/122751-github-check-run-set-status-771dc9	0	OK	-	2026-09-07 12:27:52	0 / 1s
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