deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2025-11-13/192327-github-check-run-set-status-4e4bc3	1	OK	-	2025-11-13 19:23:28	0 / 1s
2025-11-13/192323-git-fetch-a416ba	0	OK	-	2025-11-13 19:23:27	0 / 4s
2025-11-13/192323-github-check-run-set-status-7b179d	0	OK	-	2025-11-13 19:23:24	0 / 1s
2025-11-13/165210-github-check-run-set-status-596716	1	OK	-	2025-11-13 16:52:11	0 / 1s
2025-11-13/165205-git-fetch-e1ae13	0	OK	-	2025-11-13 16:52:10	0 / 5s
2025-11-13/165205-github-check-run-set-status-50f828	0	OK	-	2025-11-13 16:52:06	0 / 1s
2025-11-13/142619-github-check-run-set-status-85a178	1	OK	-	2025-11-13 14:26:20	0 / 1s
2025-11-13/142615-git-fetch-6a4bc2	0	OK	-	2025-11-13 14:26:19	0 / 4s
2025-11-13/142615-github-check-run-set-status-57777c	0	OK	-	2025-11-13 14:26:16	0 / 1s
2025-11-13/140724-github-check-run-set-status-edb468	1	OK	-	2025-11-13 14:07:25	0 / 1s
2025-11-13/140720-git-fetch-826591	0	OK	-	2025-11-13 14:07:24	0 / 4s
2025-11-13/140720-github-check-run-set-status-3255eb	0	OK	-	2025-11-13 14:07:21	0 / 1s
2025-11-13/095451-github-check-run-set-status-e3cd65	1	OK	-	2025-11-13 09:54:52	0 / 1s
2025-11-13/095434-git-fetch-8455f0	0	OK	-	2025-11-13 09:54:51	0 / 17s
2025-11-13/095434-github-check-run-set-status-bda045	0	OK	-	2025-11-13 09:54:35	0 / 1s
2025-11-12/210119-github-check-run-set-status-e2fd14	1	OK	-	2025-11-12 21:01:20	0 / 1s
2025-11-12/210116-git-fetch-e1dfdd	0	OK	-	2025-11-12 21:01:19	0 / 3s
2025-11-12/210116-github-check-run-set-status-0d51bd	0	OK	-	2025-11-12 21:01:16	0 / 0
2025-11-12/183130-github-check-run-set-status-d9e6ea	1	OK	-	2025-11-12 18:31:31	0 / 1s
2025-11-12/183123-git-fetch-1a40cb	0	OK	-	2025-11-12 18:31:30	0 / 7s
2025-11-12/183123-github-check-run-set-status-96a2a2	0	OK	-	2025-11-12 18:31:23	0 / 0
2025-11-12/175547-github-check-run-set-status-0d26b6	1	OK	-	2025-11-12 17:55:48	0 / 1s
2025-11-12/175543-git-fetch-5c8859	0	OK	-	2025-11-12 17:55:47	0 / 4s
2025-11-12/175543-github-check-run-set-status-73742b	0	OK	-	2025-11-12 17:55:44	0 / 1s
2025-11-12/173810-github-check-run-set-status-ab469e	1	OK	-	2025-11-12 17:38:11	0 / 1s
2025-11-12/173805-git-fetch-c989d7	0	OK	-	2025-11-12 17:38:10	0 / 5s
2025-11-12/173805-github-check-run-set-status-758321	0	OK	-	2025-11-12 17:38:06	0 / 1s
2025-11-12/101221-github-check-run-set-status-a975d9	1	OK	-	2025-11-12 10:12:22	0 / 1s
2025-11-12/101216-git-fetch-522991	0	OK	-	2025-11-12 10:12:21	0 / 5s
2025-11-12/101216-github-check-run-set-status-32c0ca	0	OK	-	2025-11-12 10:12:17	0 / 1s
2025-11-12/074506-github-check-run-set-status-2698bd	1	OK	-	2025-11-12 07:45:07	0 / 1s
2025-11-12/074445-git-fetch-786bf9	0	OK	-	2025-11-12 07:45:06	0 / 21s
2025-11-12/074445-github-check-run-set-status-8f4512	0	OK	-	2025-11-12 07:44:46	0 / 1s
2025-11-10/145850-github-check-run-set-status-9ebf89	1	OK	-	2025-11-10 14:58:51	0 / 1s
2025-11-10/145842-git-fetch-f971ad	0	OK	-	2025-11-10 14:58:50	0 / 8s
2025-11-10/145842-github-check-run-set-status-6312ab	0	OK	-	2025-11-10 14:58:43	0 / 1s
2025-11-10/114839-github-check-run-set-status-d18e32	1	OK	-	2025-11-10 11:48:40	0 / 1s
2025-11-10/114810-git-fetch-e2dacd	0	OK	-	2025-11-10 11:48:39	0 / 29s
2025-11-10/114810-github-check-run-set-status-17f314	0	OK	-	2025-11-10 11:48:11	0 / 1s
2025-11-10/032104-github-check-run-set-status-424ef6	2	OK	-	2025-11-10 03:21:04	0 / 0
2025-11-10/031732-docker-build-a2e3cb	0	OK	-	2025-11-10 03:21:04	4s / 3min28s
2025-11-10/031736-github-check-run-set-status-175573	2	OK	-	2025-11-10 03:17:38	1s / 1s
2025-11-10/031736-github-check-run-set-status-f94a26	2	OK	-	2025-11-10 03:17:37	0 / 1s
2025-11-10/031731-docker-build-b4a864	0	Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" "/tmp/git-checkout36ae65e8" exited with status 1	-	2025-11-10 03:17:36	0 / 5s
2025-11-10/031732-github-check-run-set-status-ebf8b5	1	OK	-	2025-11-10 03:17:33	0 / 1s
2025-11-10/031731-github-check-run-set-status-633add	1	OK	-	2025-11-10 03:17:32	1s / 0
2025-11-10/031725-git-fetch-5c2c0d	0	OK	-	2025-11-10 03:17:32	0 / 7s
2025-11-10/031731-github-check-run-set-status-ff74b0	1	OK	-	2025-11-10 03:17:32	0 / 1s
2025-11-10/031725-git-fetch-1f736e	0	OK	-	2025-11-10 03:17:31	0 / 6s
2025-11-10/031725-git-fetch-0858a9	0	OK	-	2025-11-10 03:17:31	0 / 6s
2025-11-10/031725-github-check-run-set-status-e7debf	0	OK	-	2025-11-10 03:17:27	1s / 1s
2025-11-10/031725-github-check-run-set-status-ee3c89	0	OK	-	2025-11-10 03:17:26	1s / 0
2025-11-10/031725-github-check-run-set-status-86fd62	0	OK	-	2025-11-10 03:17:25	0 / 0
2025-11-07/231406-github-check-run-set-status-eb9c4a	1	OK	-	2025-11-07 23:14:06	0 / 0
2025-11-07/231400-git-fetch-024e14	0	OK	-	2025-11-07 23:14:06	0 / 6s
2025-11-07/231400-github-check-run-set-status-214f8e	0	OK	-	2025-11-07 23:14:00	0 / 0
2025-11-07/111756-github-check-run-set-status-58fc7f	1	OK	-	2025-11-07 11:17:57	0 / 1s
2025-11-07/111752-git-fetch-9d88d1	0	OK	-	2025-11-07 11:17:56	0 / 4s
2025-11-07/111752-github-check-run-set-status-19e849	0	OK	-	2025-11-07 11:17:52	0 / 0
2025-11-07/105220-github-check-run-set-status-777cfd	1	OK	-	2025-11-07 10:52:21	0 / 1s
2025-11-07/105205-git-fetch-ee53ac	0	OK	-	2025-11-07 10:52:20	0 / 15s
2025-11-07/105205-github-check-run-set-status-2d4ebd	0	OK	-	2025-11-07 10:52:06	0 / 1s
2025-11-06/104631-github-check-run-set-status-8ed5b1	1	OK	-	2025-11-06 10:46:32	0 / 1s
2025-11-06/104624-git-fetch-92a1c9	0	OK	-	2025-11-06 10:46:31	0 / 7s
2025-11-06/104624-github-check-run-set-status-96ac01	0	OK	-	2025-11-06 10:46:25	0 / 1s
2025-11-05/165449-github-check-run-set-status-bbef5f	1	OK	-	2025-11-05 16:54:51	0 / 2s
2025-11-05/165444-git-fetch-e8c9fa	0	OK	-	2025-11-05 16:54:49	0 / 5s
2025-11-05/165444-github-check-run-set-status-41594f	0	OK	-	2025-11-05 16:54:44	0 / 0
2025-11-05/135841-github-check-run-set-status-60a70d	1	OK	-	2025-11-05 13:58:42	0 / 1s
2025-11-05/135824-git-fetch-077ac5	0	OK	-	2025-11-05 13:58:41	0 / 17s
2025-11-05/135824-github-check-run-set-status-3db25c	0	OK	-	2025-11-05 13:58:25	0 / 1s
2025-11-04/143359-github-check-run-set-status-a60bed	1	OK	-	2025-11-04 14:34:00	0 / 1s
2025-11-04/143355-git-fetch-7ef259	0	OK	-	2025-11-04 14:33:59	0 / 4s
2025-11-04/143355-github-check-run-set-status-a67d58	0	OK	-	2025-11-04 14:33:56	0 / 1s
2025-11-04/132303-github-check-run-set-status-7ad091	1	OK	-	2025-11-04 13:23:04	0 / 1s
2025-11-04/132246-git-fetch-964bfc	0	OK	-	2025-11-04 13:23:03	0 / 17s
2025-11-04/132246-github-check-run-set-status-fca5b1	0	OK	-	2025-11-04 13:22:47	0 / 1s
2025-11-03/182717-github-check-run-set-status-18ff29	1	OK	-	2025-11-03 18:27:18	0 / 1s
2025-11-03/182714-git-fetch-6e0342	0	OK	-	2025-11-03 18:27:17	0 / 3s
2025-11-03/182714-github-check-run-set-status-e1647a	0	OK	-	2025-11-03 18:27:15	0 / 1s
2025-11-03/161206-github-check-run-set-status-1f00ac	1	OK	-	2025-11-03 16:12:08	0 / 2s
2025-11-03/161200-git-fetch-8a4ff9	0	OK	-	2025-11-03 16:12:06	0 / 6s
2025-11-03/161200-github-check-run-set-status-2ae6d6	0	OK	-	2025-11-03 16:12:01	0 / 1s
2025-11-03/153720-github-check-run-set-status-9907fb	1	OK	-	2025-11-03 15:37:21	0 / 1s
2025-11-03/153644-git-fetch-81ea2e	0	OK	-	2025-11-03 15:37:20	0 / 36s
2025-11-03/153644-github-check-run-set-status-0c621d	0	OK	-	2025-11-03 15:36:45	0 / 1s
2025-11-03/122740-github-check-run-set-status-7fbe84	1	OK	-	2025-11-03 12:27:41	0 / 1s
2025-11-03/122329-docker-compose-57fb12	0	OK	-	2025-11-03 12:27:40	0 / 4min11s
2025-11-03/122329-github-check-run-set-status-b7746e	0	OK	-	2025-11-03 12:23:29	0 / 0
2025-11-03/122328-git-fetch-8c7a90	0	OK	-	2025-11-03 12:23:29	0 / 1s
2025-11-03/032038-github-check-run-set-status-9b5962	2	OK	-	2025-11-03 03:20:40	1s / 1s
2025-11-03/032038-github-check-run-set-status-5e24a1	2	OK	-	2025-11-03 03:20:39	0 / 1s
2025-11-03/031855-docker-build-7887e6	0	Docker build exited with status 1	-	2025-11-03 03:20:38	0 / 1min43s
2025-11-03/031855-github-check-run-set-status-cc56c6	1	OK	-	2025-11-03 03:18:57	1s / 1s
2025-11-03/031855-github-check-run-set-status-10b5e9	1	OK	-	2025-11-03 03:18:56	0 / 1s
2025-11-03/031853-git-fetch-bc376b	0	OK	-	2025-11-03 03:18:55	0 / 2s
2025-11-03/031852-git-fetch-b9a86d	0	OK	-	2025-11-03 03:18:55	0 / 3s
2025-11-03/031853-github-check-run-set-status-dad918	0	OK	-	2025-11-03 03:18:54	0 / 1s
2025-11-03/031853-github-check-run-set-status-018073	0	OK	-	2025-11-03 03:18:53	0 / 0
2025-10-31/175051-github-check-run-set-status-da60af	1	OK	-	2025-10-31 17:50:52	0 / 1s