deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2025-11-28/091119-github-check-run-set-status-09e2ce	1	OK	-	2025-11-28 09:11:20	0 / 1s
2025-11-28/090704-docker-compose-62bb24	0	OK	-	2025-11-28 09:11:19	0 / 4min15s
2025-11-28/090711-github-check-run-set-status-c5dbd8	0	OK	-	2025-11-28 09:07:12	0 / 1s
2025-11-28/090704-github-check-run-set-status-d2d882	0	OK	-	2025-11-28 09:07:04	0 / 0
2025-11-28/090702-git-fetch-50fbf5	0	OK	-	2025-11-28 09:07:04	0 / 2s
2025-11-27/165715-github-check-run-set-status-3d5609	1	OK	-	2025-11-27 16:57:16	0 / 1s
2025-11-27/165710-git-fetch-edfab2	0	OK	-	2025-11-27 16:57:15	0 / 5s
2025-11-27/165710-github-check-run-set-status-cd7a36	0	OK	-	2025-11-27 16:57:10	0 / 0
2025-11-27/154849-github-check-run-set-status-12a86d	1	OK	-	2025-11-27 15:48:50	0 / 1s
2025-11-27/154841-git-fetch-09a539	0	OK	-	2025-11-27 15:48:49	0 / 8s
2025-11-27/154841-github-check-run-set-status-c82aef	0	OK	-	2025-11-27 15:48:42	0 / 1s
2025-11-27/112754-github-check-run-set-status-05a8d1	1	OK	-	2025-11-27 11:27:55	0 / 1s
2025-11-27/112743-git-fetch-eff03f	0	OK	-	2025-11-27 11:27:54	0 / 11s
2025-11-27/112743-github-check-run-set-status-fb44fa	0	OK	-	2025-11-27 11:27:44	0 / 1s
2025-11-26/152635-github-check-run-set-status-9d9fc5	1	OK	-	2025-11-26 15:26:36	0 / 1s
2025-11-26/152629-git-fetch-34eb59	0	OK	-	2025-11-26 15:26:35	0 / 6s
2025-11-26/152629-github-check-run-set-status-d36bae	0	OK	-	2025-11-26 15:26:29	0 / 0
2025-11-26/134604-github-check-run-set-status-168038	1	OK	-	2025-11-26 13:46:05	0 / 1s
2025-11-26/134601-git-fetch-940d3b	0	OK	-	2025-11-26 13:46:04	0 / 3s
2025-11-26/134601-github-check-run-set-status-2b88a3	0	OK	-	2025-11-26 13:46:02	0 / 1s
2025-11-26/113821-github-check-run-set-status-aba41a	1	OK	-	2025-11-26 11:38:22	0 / 1s
2025-11-26/113808-git-fetch-0aabfe	0	OK	-	2025-11-26 11:38:21	0 / 13s
2025-11-26/113808-github-check-run-set-status-19e867	0	OK	-	2025-11-26 11:38:10	0 / 2s
2025-11-25/110918-github-check-run-set-status-9acba6	1	OK	-	2025-11-25 11:09:19	0 / 1s
2025-11-25/110912-git-fetch-034ed4	0	OK	-	2025-11-25 11:09:18	0 / 6s
2025-11-25/110912-github-check-run-set-status-1194b4	0	OK	-	2025-11-25 11:09:13	0 / 1s
2025-11-25/093026-github-check-run-set-status-242f98	1	OK	-	2025-11-25 09:30:27	0 / 1s
2025-11-25/093007-git-fetch-fcaee9	0	OK	-	2025-11-25 09:30:26	0 / 19s
2025-11-25/093007-github-check-run-set-status-da89b7	0	OK	-	2025-11-25 09:30:08	0 / 1s
2025-11-24/225243-github-check-run-set-status-0a8fb4	1	OK	-	2025-11-24 22:52:44	0 / 1s
2025-11-24/225236-git-fetch-31553e	0	OK	-	2025-11-24 22:52:43	0 / 7s
2025-11-24/225236-github-check-run-set-status-d5a27b	0	OK	-	2025-11-24 22:52:37	0 / 1s
2025-11-24/203403-github-check-run-set-status-58b3f7	1	OK	-	2025-11-24 20:34:04	0 / 1s
2025-11-24/203345-git-fetch-af5372	0	OK	-	2025-11-24 20:34:03	0 / 18s
2025-11-24/203345-github-check-run-set-status-dd9bbe	0	OK	-	2025-11-24 20:33:46	0 / 1s
2025-11-24/134711-github-check-run-set-status-f34e1d	1	OK	-	2025-11-24 13:47:13	1s / 1s
2025-11-24/134711-github-check-run-set-status-51df1a	2	OK	-	2025-11-24 13:47:12	0 / 1s
2025-11-24/134403-docker-build-6b31c5	0	OK	-	2025-11-24 13:47:11	0 / 3min8s
2025-11-24/134404-github-check-run-set-status-82073b	0	OK	-	2025-11-24 13:44:06	1s / 1s
2025-11-24/134403-github-check-run-set-status-7ce5e8	1	OK	-	2025-11-24 13:44:05	1s / 1s
2025-11-24/134402-git-fetch-714dc6	0	OK	-	2025-11-24 13:44:03	0 / 1s
2025-11-24/134402-git-fetch-40538c	0	OK	-	2025-11-24 13:44:03	0 / 1s
2025-11-24/134402-github-check-run-set-status-ac79cd	0	OK	-	2025-11-24 13:44:03	0 / 1s
2025-11-24/114700-github-check-run-set-status-398196	1	OK	-	2025-11-24 11:47:01	0 / 1s
2025-11-24/114651-git-fetch-658227	0	OK	-	2025-11-24 11:47:00	0 / 9s
2025-11-24/114651-github-check-run-set-status-4657d7	0	OK	-	2025-11-24 11:46:52	0 / 1s
2025-11-24/032930-github-check-run-set-status-67698e	2	OK	-	2025-11-24 03:29:32	1s / 1s
2025-11-24/032930-github-check-run-set-status-9a9077	2	OK	-	2025-11-24 03:29:31	0 / 1s
2025-11-24/032927-docker-build-8dc31b	0	Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" "/tmp/git-checkout1813c621" exited with status 1	-	2025-11-24 03:29:30	0 / 3s
2025-11-24/032927-github-check-run-set-status-8bdac6	1	OK	-	2025-11-24 03:29:28	1s / 0
2025-11-24/032927-github-check-run-set-status-012904	1	OK	-	2025-11-24 03:29:28	0 / 1s
2025-11-24/032925-git-fetch-73e33d	0	OK	-	2025-11-24 03:29:27	0 / 2s
2025-11-24/032925-git-fetch-ab6a85	0	OK	-	2025-11-24 03:29:27	0 / 2s
2025-11-24/032925-github-check-run-set-status-bae725	0	OK	-	2025-11-24 03:29:26	0 / 1s
2025-11-24/032925-github-check-run-set-status-1c196a	0	OK	-	2025-11-24 03:29:25	0 / 0
2025-11-23/200147-github-check-run-set-status-bc3020	1	OK	-	2025-11-23 20:01:48	0 / 1s
2025-11-23/200142-git-fetch-8a3cac	0	OK	-	2025-11-23 20:01:47	0 / 5s
2025-11-23/200142-github-check-run-set-status-f99ce4	0	OK	-	2025-11-23 20:01:42	0 / 0
2025-11-23/115727-github-check-run-set-status-6efdd7	1	OK	-	2025-11-23 11:57:28	0 / 1s
2025-11-23/115716-git-fetch-26d193	0	OK	-	2025-11-23 11:57:27	0 / 11s
2025-11-23/115716-github-check-run-set-status-c28c8a	0	OK	-	2025-11-23 11:57:17	0 / 1s
2025-11-21/163644-github-check-run-set-status-2baeab	1	OK	-	2025-11-21 16:36:45	0 / 1s
2025-11-21/163633-git-fetch-85d06e	0	OK	-	2025-11-21 16:36:44	0 / 11s
2025-11-21/163633-github-check-run-set-status-1bdcc6	0	OK	-	2025-11-21 16:36:34	0 / 1s
2025-11-20/215827-github-check-run-set-status-2c04d4	1	OK	-	2025-11-20 21:58:28	0 / 1s
2025-11-20/215824-git-fetch-f1ed71	0	OK	-	2025-11-20 21:58:27	0 / 3s
2025-11-20/215824-github-check-run-set-status-7f0ce7	0	OK	-	2025-11-20 21:58:25	0 / 1s
2025-11-20/205527-github-check-run-set-status-c4e2f6	1	OK	-	2025-11-20 20:55:28	0 / 1s
2025-11-20/205521-git-fetch-aa47ff	0	OK	-	2025-11-20 20:55:27	0 / 6s
2025-11-20/205521-github-check-run-set-status-778610	0	OK	-	2025-11-20 20:55:22	0 / 1s
2025-11-20/181533-github-check-run-set-status-de3f11	1	OK	-	2025-11-20 18:15:34	0 / 1s
2025-11-20/181527-git-fetch-705296	0	OK	-	2025-11-20 18:15:33	0 / 6s
2025-11-20/181527-github-check-run-set-status-a57080	0	OK	-	2025-11-20 18:15:28	0 / 1s
2025-11-20/175318-github-check-run-set-status-e307dd	1	OK	-	2025-11-20 17:53:19	0 / 1s
2025-11-20/175314-git-fetch-85a3d4	0	OK	-	2025-11-20 17:53:18	0 / 4s
2025-11-20/175314-github-check-run-set-status-3128b9	0	OK	-	2025-11-20 17:53:15	0 / 1s
2025-11-20/152423-github-check-run-set-status-5bfbe5	1	OK	-	2025-11-20 15:24:24	0 / 1s
2025-11-20/152418-git-fetch-bdeed4	0	OK	-	2025-11-20 15:24:23	0 / 5s
2025-11-20/152418-github-check-run-set-status-0618ad	0	OK	-	2025-11-20 15:24:19	0 / 1s
2025-11-20/151714-github-check-run-set-status-460dd7	1	OK	-	2025-11-20 15:17:15	0 / 1s
2025-11-20/151708-git-fetch-5a6f60	0	OK	-	2025-11-20 15:17:14	0 / 6s
2025-11-20/151708-github-check-run-set-status-14e54d	0	OK	-	2025-11-20 15:17:09	0 / 1s
2025-11-20/124638-github-check-run-set-status-e582df	1	OK	-	2025-11-20 12:46:39	0 / 1s
2025-11-20/124624-git-fetch-a8c7f1	0	OK	-	2025-11-20 12:46:38	0 / 14s
2025-11-20/124624-github-check-run-set-status-726a14	0	OK	-	2025-11-20 12:46:24	0 / 0
2025-11-20/122447-github-check-run-set-status-9c41ba	1	OK	-	2025-11-20 12:24:48	0 / 1s
2025-11-20/122049-docker-compose-23def7	0	OK	-	2025-11-20 12:24:47	0 / 3min58s
2025-11-20/122049-github-check-run-set-status-55d485	0	OK	-	2025-11-20 12:20:49	0 / 0
2025-11-20/122045-git-fetch-c52729	0	OK	-	2025-11-20 12:20:49	0 / 4s
2025-11-20/093226-github-check-run-set-status-c0777d	1	OK	-	2025-11-20 09:32:27	0 / 1s
2025-11-20/093216-git-fetch-f9e901	0	OK	-	2025-11-20 09:32:26	0 / 10s
2025-11-20/093216-github-check-run-set-status-50675d	0	OK	-	2025-11-20 09:32:17	0 / 1s
2025-11-19/145118-github-check-run-set-status-26177e	1	OK	-	2025-11-19 14:51:19	0 / 1s
2025-11-19/145114-git-fetch-ddb2ed	0	OK	-	2025-11-19 14:51:18	0 / 4s
2025-11-19/145114-github-check-run-set-status-411514	0	OK	-	2025-11-19 14:51:15	0 / 1s
2025-11-19/142147-github-check-run-set-status-79b34d	1	OK	-	2025-11-19 14:21:48	0 / 1s
2025-11-19/142142-git-fetch-396257	0	OK	-	2025-11-19 14:21:47	0 / 5s
2025-11-19/142142-github-check-run-set-status-67832a	0	OK	-	2025-11-19 14:21:43	0 / 1s
2025-11-19/121515-github-check-run-set-status-1887b3	1	OK	-	2025-11-19 12:15:16	0 / 1s
2025-11-19/121510-git-fetch-8bd296	0	OK	-	2025-11-19 12:15:15	0 / 5s