deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2025-12-29/034055-github-check-run-set-status-39ee05	2	OK	-	2025-12-29 03:40:57	1s / 1s
2025-12-29/034055-github-check-run-set-status-5eae19	2	OK	-	2025-12-29 03:40:56	0 / 1s
2025-12-29/033836-docker-build-a15637	0	Docker build exited with status 1	-	2025-12-29 03:40:55	0 / 2min19s
2025-12-29/033836-github-check-run-set-status-9a7c08	1	OK	-	2025-12-29 03:38:38	1s / 1s
2025-12-29/033836-github-check-run-set-status-c75762	1	OK	-	2025-12-29 03:38:37	0 / 1s
2025-12-29/033831-git-fetch-8387ac	0	OK	-	2025-12-29 03:38:36	0 / 5s
2025-12-29/033831-git-fetch-8b231f	0	OK	-	2025-12-29 03:38:36	0 / 5s
2025-12-29/033831-github-check-run-set-status-f418b4	0	OK	-	2025-12-29 03:38:33	1s / 1s
2025-12-29/033831-github-check-run-set-status-b105e0	0	OK	-	2025-12-29 03:38:32	0 / 1s
2025-12-22/032915-github-check-run-set-status-fcccad	2	OK	-	2025-12-22 03:29:17	1s / 1s
2025-12-22/032915-github-check-run-set-status-9edee8	2	OK	-	2025-12-22 03:29:16	0 / 1s
2025-12-22/032910-docker-build-c05928	0	Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" "/tmp/git-checkout94e4bde" exited with status 1	-	2025-12-22 03:29:15	0 / 5s
2025-12-22/032910-github-check-run-set-status-cd442e	1	OK	-	2025-12-22 03:29:12	1s / 1s
2025-12-22/032910-github-check-run-set-status-281966	1	OK	-	2025-12-22 03:29:11	0 / 1s
2025-12-22/032907-git-fetch-dbbf5b	0	OK	-	2025-12-22 03:29:10	0 / 3s
2025-12-22/032907-git-fetch-a4f99f	0	OK	-	2025-12-22 03:29:10	0 / 3s
2025-12-22/032907-github-check-run-set-status-356e14	0	OK	-	2025-12-22 03:29:09	1s / 1s
2025-12-22/032907-github-check-run-set-status-831815	0	OK	-	2025-12-22 03:29:08	0 / 1s
2025-12-20/131656-github-check-run-set-status-c82483	1	OK	-	2025-12-20 13:16:58	0 / 2s
2025-12-20/131653-git-fetch-f4af9b	0	OK	-	2025-12-20 13:16:56	0 / 3s
2025-12-20/131653-github-check-run-set-status-605b49	0	OK	-	2025-12-20 13:16:54	0 / 1s
2025-12-20/111857-github-check-run-set-status-5e8fe2	1	OK	-	2025-12-20 11:18:57	0 / 0
2025-12-20/111846-git-fetch-43bc65	0	OK	-	2025-12-20 11:18:57	0 / 11s
2025-12-20/111846-github-check-run-set-status-6c2b51	0	OK	-	2025-12-20 11:18:47	0 / 1s
2025-12-19/224656-github-check-run-set-status-984263	1	OK	-	2025-12-19 22:46:57	0 / 1s
2025-12-19/224652-git-fetch-3525b4	0	OK	-	2025-12-19 22:46:56	0 / 4s
2025-12-19/224652-github-check-run-set-status-c3a9f2	0	OK	-	2025-12-19 22:46:53	0 / 1s
2025-12-19/163853-github-check-run-set-status-3f6aff	1	OK	-	2025-12-19 16:38:53	0 / 0
2025-12-19/163847-git-fetch-71da2c	0	OK	-	2025-12-19 16:38:53	0 / 6s
2025-12-19/163847-github-check-run-set-status-5a53d7	0	OK	-	2025-12-19 16:38:48	0 / 1s
2025-12-19/161949-github-check-run-set-status-c07d23	1	OK	-	2025-12-19 16:19:50	0 / 1s
2025-12-19/161946-git-fetch-872653	0	OK	-	2025-12-19 16:19:49	0 / 3s
2025-12-19/161946-github-check-run-set-status-4a8838	0	OK	-	2025-12-19 16:19:47	0 / 1s
2025-12-19/160407-github-check-run-set-status-2e4338	1	OK	-	2025-12-19 16:04:08	0 / 1s
2025-12-19/160402-git-fetch-fea462	0	OK	-	2025-12-19 16:04:07	0 / 5s
2025-12-19/160402-github-check-run-set-status-9b1be6	0	OK	-	2025-12-19 16:04:03	0 / 1s
2025-12-19/141847-github-check-run-set-status-cc4706	1	OK	-	2025-12-19 14:18:48	0 / 1s
2025-12-19/141832-git-fetch-eb03fd	0	OK	-	2025-12-19 14:18:47	0 / 15s
2025-12-19/141832-github-check-run-set-status-3a27a7	0	OK	-	2025-12-19 14:18:33	0 / 1s
2025-12-18/153201-github-check-run-set-status-53f560	1	OK	-	2025-12-18 15:32:02	0 / 1s
2025-12-18/153154-git-fetch-9f0727	0	OK	-	2025-12-18 15:32:01	0 / 7s
2025-12-18/153154-github-check-run-set-status-34ae96	0	OK	-	2025-12-18 15:31:55	0 / 1s
2025-12-18/145732-github-check-run-set-status-1921ef	1	OK	-	2025-12-18 14:57:33	0 / 1s
2025-12-18/145717-git-fetch-2f50aa	0	OK	-	2025-12-18 14:57:32	0 / 15s
2025-12-18/145717-github-check-run-set-status-3c7322	0	OK	-	2025-12-18 14:57:18	0 / 1s
2025-12-17/173335-github-check-run-set-status-7e14b8	1	OK	-	2025-12-17 17:33:36	0 / 1s
2025-12-17/173313-git-fetch-67ef6f	0	OK	-	2025-12-17 17:33:35	0 / 22s
2025-12-17/173313-github-check-run-set-status-661f08	0	OK	-	2025-12-17 17:33:14	0 / 1s
2025-12-16/102849-github-check-run-set-status-8cd4e6	1	OK	-	2025-12-16 10:28:50	0 / 1s
2025-12-16/102812-git-fetch-e4d328	0	OK	-	2025-12-16 10:28:49	0 / 37s
2025-12-16/102812-github-check-run-set-status-a1378c	0	OK	-	2025-12-16 10:28:13	0 / 1s
2025-12-15/131822-github-check-run-set-status-6ed6ea	1	OK	-	2025-12-15 13:18:24	1s / 1s
2025-12-15/131822-github-check-run-set-status-071b83	2	OK	-	2025-12-15 13:18:23	0 / 1s
2025-12-15/131551-docker-build-56fc20	0	OK	-	2025-12-15 13:18:22	0 / 2min31s
2025-12-15/131551-github-check-run-set-status-1b44b0	0	OK	-	2025-12-15 13:15:53	1s / 1s
2025-12-15/131551-github-check-run-set-status-fe0d73	1	OK	-	2025-12-15 13:15:52	0 / 1s
2025-12-15/131550-git-fetch-9147a6	0	OK	-	2025-12-15 13:15:51	0 / 1s
2025-12-15/131550-git-fetch-018284	0	OK	-	2025-12-15 13:15:51	0 / 1s
2025-12-15/131550-github-check-run-set-status-9bf4f0	0	OK	-	2025-12-15 13:15:50	0 / 0
2025-12-15/032927-github-check-run-set-status-7fb7bd	2	OK	-	2025-12-15 03:29:29	1s / 1s
2025-12-15/032927-github-check-run-set-status-6792d7	2	OK	-	2025-12-15 03:29:28	0 / 1s
2025-12-15/032727-docker-build-67c968	0	Docker build exited with status 1	-	2025-12-15 03:29:27	0 / 2min
2025-12-15/032727-github-check-run-set-status-50dbc1	1	OK	-	2025-12-15 03:27:29	1s / 1s
2025-12-15/032727-github-check-run-set-status-fed500	1	OK	-	2025-12-15 03:27:28	0 / 1s
2025-12-15/032722-git-fetch-e90d1a	0	OK	-	2025-12-15 03:27:27	0 / 5s
2025-12-15/032722-git-fetch-8563dc	0	OK	-	2025-12-15 03:27:27	0 / 5s
2025-12-15/032722-github-check-run-set-status-26e404	0	OK	-	2025-12-15 03:27:24	1s / 1s
2025-12-15/032722-github-check-run-set-status-a03cf6	0	OK	-	2025-12-15 03:27:23	0 / 1s
2025-12-12/153920-github-check-run-set-status-d673ee	1	OK	-	2025-12-12 15:39:22	0 / 2s
2025-12-12/153902-git-fetch-4128ff	0	OK	-	2025-12-12 15:39:20	0 / 18s
2025-12-12/153902-github-check-run-set-status-0fc276	0	OK	-	2025-12-12 15:39:03	0 / 1s
2025-12-11/171533-github-check-run-set-status-057ca0	1	OK	-	2025-12-11 17:15:34	0 / 1s
2025-12-11/171321-git-fetch-c596bc	0	OK	-	2025-12-11 17:15:33	0 / 2min12s
2025-12-11/171321-github-check-run-set-status-982330	0	OK	-	2025-12-11 17:13:22	0 / 1s
2025-12-11/161732-github-check-run-set-status-b0c77c	1	OK	-	2025-12-11 16:17:33	0 / 1s
2025-12-11/161726-git-fetch-5164d1	0	OK	-	2025-12-11 16:17:32	0 / 6s
2025-12-11/161726-github-check-run-set-status-9d71d4	0	OK	-	2025-12-11 16:17:27	0 / 1s
2025-12-11/134958-github-check-run-set-status-300d22	1	OK	-	2025-12-11 13:49:59	0 / 1s
2025-12-11/134951-git-fetch-747fd4	0	OK	-	2025-12-11 13:49:58	0 / 7s
2025-12-11/134951-github-check-run-set-status-e1c26b	0	OK	-	2025-12-11 13:49:52	0 / 1s
2025-12-11/103526-github-check-run-set-status-6d86a2	1	OK	-	2025-12-11 10:35:27	0 / 1s
2025-12-11/103513-git-fetch-415ff6	0	OK	-	2025-12-11 10:35:26	0 / 13s
2025-12-11/103513-github-check-run-set-status-a10020	0	OK	-	2025-12-11 10:35:14	0 / 1s
2025-12-10/125350-github-check-run-set-status-1e5805	1	OK	-	2025-12-10 12:53:51	0 / 1s
2025-12-10/125347-git-fetch-62ecdb	0	OK	-	2025-12-10 12:53:50	0 / 3s
2025-12-10/125347-github-check-run-set-status-419392	0	OK	-	2025-12-10 12:53:48	0 / 1s
2025-12-10/123251-github-check-run-set-status-5a8796	1	OK	-	2025-12-10 12:32:52	0 / 1s
2025-12-10/123237-git-fetch-348447	0	OK	-	2025-12-10 12:32:51	0 / 14s
2025-12-10/123237-github-check-run-set-status-0467d5	0	OK	-	2025-12-10 12:32:38	0 / 1s
2025-12-09/143143-github-check-run-set-status-a21470	1	OK	-	2025-12-09 14:31:44	0 / 1s
2025-12-09/143137-git-fetch-caa76d	0	OK	-	2025-12-09 14:31:43	0 / 6s
2025-12-09/143137-github-check-run-set-status-22c726	0	OK	-	2025-12-09 14:31:38	0 / 1s
2025-12-09/132956-github-check-run-set-status-05011d	1	OK	-	2025-12-09 13:29:57	0 / 1s
2025-12-09/132950-git-fetch-25f99e	0	OK	-	2025-12-09 13:29:56	0 / 6s
2025-12-09/132950-github-check-run-set-status-37f6a1	0	OK	-	2025-12-09 13:29:51	0 / 1s
2025-12-09/112619-github-check-run-set-status-514550	1	OK	-	2025-12-09 11:26:20	0 / 1s
2025-12-09/112615-git-fetch-8acdc9	0	OK	-	2025-12-09 11:26:19	0 / 4s
2025-12-09/112615-github-check-run-set-status-d41330	0	OK	-	2025-12-09 11:26:16	0 / 1s
2025-12-09/110933-github-check-run-set-status-ea2b73	1	OK	-	2025-12-09 11:09:34	0 / 1s
2025-12-09/110918-git-fetch-7d085c	0	OK	-	2025-12-09 11:09:33	0 / 15s