deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2025-12-08/032118-github-check-run-set-status-f85b77	2	OK	-	2025-12-08 03:21:19	1s / 0
2025-12-08/032118-github-check-run-set-status-b93ca8	2	OK	-	2025-12-08 03:21:19	0 / 1s
2025-12-08/031926-docker-build-b434ff	0	Docker build exited with status 1	-	2025-12-08 03:21:18	0 / 1min52s
2025-12-08/031926-github-check-run-set-status-6642ee	1	OK	-	2025-12-08 03:19:28	1s / 1s
2025-12-08/031926-github-check-run-set-status-8bfcd7	1	OK	-	2025-12-08 03:19:27	0 / 1s
2025-12-08/031923-git-fetch-b20558	0	OK	-	2025-12-08 03:19:26	0 / 3s
2025-12-08/031923-git-fetch-ebe318	0	OK	-	2025-12-08 03:19:26	0 / 3s
2025-12-08/031923-github-check-run-set-status-e9a434	0	OK	-	2025-12-08 03:19:25	1s / 1s
2025-12-08/031923-github-check-run-set-status-3389fc	0	OK	-	2025-12-08 03:19:24	0 / 1s
2025-12-05/201103-github-check-run-set-status-c02887	1	OK	-	2025-12-05 20:11:04	0 / 1s
2025-12-05/201057-git-fetch-dc790b	0	OK	-	2025-12-05 20:11:03	0 / 6s
2025-12-05/201057-github-check-run-set-status-0a016a	0	OK	-	2025-12-05 20:10:58	0 / 1s
2025-12-05/141948-github-check-run-set-status-46666e	1	OK	-	2025-12-05 14:19:49	0 / 1s
2025-12-05/141940-git-fetch-9d02eb	0	OK	-	2025-12-05 14:19:48	0 / 8s
2025-12-05/141940-github-check-run-set-status-ec6315	0	OK	-	2025-12-05 14:19:41	0 / 1s
2025-12-05/094236-github-check-run-set-status-36759e	1	OK	-	2025-12-05 09:42:37	0 / 1s
2025-12-05/094233-git-fetch-960226	0	OK	-	2025-12-05 09:42:36	0 / 3s
2025-12-05/094233-github-check-run-set-status-71434b	0	OK	-	2025-12-05 09:42:34	0 / 1s
2025-12-05/092854-github-check-run-set-status-7b8893	1	OK	-	2025-12-05 09:28:55	0 / 1s
2025-12-05/092843-git-fetch-f0c04b	0	OK	-	2025-12-05 09:28:54	0 / 11s
2025-12-05/092843-github-check-run-set-status-05dc63	0	OK	-	2025-12-05 09:28:43	0 / 0
2025-12-04/102545-github-check-run-set-status-ce073a	1	OK	-	2025-12-04 10:25:46	0 / 1s
2025-12-04/102530-git-fetch-982aac	0	OK	-	2025-12-04 10:25:45	0 / 15s
2025-12-04/102530-github-check-run-set-status-d31516	0	OK	-	2025-12-04 10:25:30	0 / 0
2025-12-03/220643-github-check-run-set-status-41de2e	1	OK	-	2025-12-03 22:06:44	0 / 1s
2025-12-03/220629-git-fetch-238704	0	OK	-	2025-12-03 22:06:43	0 / 14s
2025-12-03/220629-github-check-run-set-status-c33d21	0	OK	-	2025-12-03 22:06:29	0 / 0
2025-12-01/225259-github-check-run-set-status-cbe3cf	1	OK	-	2025-12-01 22:53:00	0 / 1s
2025-12-01/225256-git-fetch-75411c	0	OK	-	2025-12-01 22:52:59	0 / 3s
2025-12-01/225256-github-check-run-set-status-16d206	0	OK	-	2025-12-01 22:52:57	0 / 1s
2025-12-01/162513-github-check-run-set-status-6b6ec8	1	OK	-	2025-12-01 16:25:14	0 / 1s
2025-12-01/162506-git-fetch-831526	0	OK	-	2025-12-01 16:25:13	0 / 7s
2025-12-01/162506-github-check-run-set-status-709f8f	0	OK	-	2025-12-01 16:25:07	0 / 1s
2025-12-01/153245-github-check-run-set-status-0173bb	1	OK	-	2025-12-01 15:32:46	0 / 1s
2025-12-01/153238-git-fetch-bba4ce	0	OK	-	2025-12-01 15:32:45	0 / 7s
2025-12-01/153238-github-check-run-set-status-c02f8d	0	OK	-	2025-12-01 15:32:39	0 / 1s
2025-12-01/150726-github-check-run-set-status-411b27	1	OK	-	2025-12-01 15:07:27	0 / 1s
2025-12-01/150710-git-fetch-95e53e	0	OK	-	2025-12-01 15:07:26	0 / 16s
2025-12-01/150710-github-check-run-set-status-cfc4e7	0	OK	-	2025-12-01 15:07:11	0 / 1s
2025-12-01/035014-github-check-run-set-status-b2448d	2	OK	-	2025-12-01 03:50:16	1s / 1s
2025-12-01/035014-github-check-run-set-status-db1127	2	OK	-	2025-12-01 03:50:15	0 / 1s
2025-12-01/035009-docker-build-2cad3b	0	Command "cp" "-a" "--" "/var/lib/rocqprover/var/git/rocq-prover.org.git-dfe2bef793a402d8238d408b5c226c9ce6445970f63ca459f71f8a67a86c1cd0/.git" "/tmp/git-checkout131aba0e" exited with status 1	-	2025-12-01 03:50:14	0 / 5s
2025-12-01/035009-github-check-run-set-status-8a2297	1	OK	-	2025-12-01 03:50:11	1s / 1s
2025-12-01/035009-github-check-run-set-status-c51c9a	1	OK	-	2025-12-01 03:50:10	0 / 1s
2025-12-01/035006-git-fetch-16ff5c	0	OK	-	2025-12-01 03:50:09	0 / 3s
2025-12-01/035006-git-fetch-894a1e	0	OK	-	2025-12-01 03:50:09	0 / 3s
2025-12-01/035006-github-check-run-set-status-e1bef6	0	OK	-	2025-12-01 03:50:08	1s / 1s
2025-12-01/035006-github-check-run-set-status-469905	0	OK	-	2025-12-01 03:50:07	0 / 1s
2025-11-28/222640-github-check-run-set-status-49f0d3	1	OK	-	2025-11-28 22:26:40	0 / 0
2025-11-28/222634-git-fetch-0f8da2	0	OK	-	2025-11-28 22:26:40	0 / 6s
2025-11-28/222634-github-check-run-set-status-f1c77f	0	OK	-	2025-11-28 22:26:35	0 / 1s
2025-11-28/172619-github-check-run-set-status-c518cd	1	OK	-	2025-11-28 17:26:20	0 / 1s
2025-11-28/172613-git-fetch-5f08d4	0	OK	-	2025-11-28 17:26:19	0 / 6s
2025-11-28/172613-github-check-run-set-status-944288	0	OK	-	2025-11-28 17:26:14	0 / 1s
2025-11-28/151643-github-check-run-set-status-a210a4	1	OK	-	2025-11-28 15:16:44	0 / 1s
2025-11-28/151637-git-fetch-747de9	0	OK	-	2025-11-28 15:16:43	0 / 6s
2025-11-28/151637-github-check-run-set-status-fcf7f2	0	OK	-	2025-11-28 15:16:38	0 / 1s
2025-11-28/134856-github-check-run-set-status-1a5f89	1	OK	-	2025-11-28 13:48:57	0 / 1s
2025-11-28/134852-git-fetch-46b30a	0	OK	-	2025-11-28 13:48:56	0 / 4s
2025-11-28/134852-github-check-run-set-status-e389ea	0	OK	-	2025-11-28 13:48:53	0 / 1s
2025-11-28/125447-github-check-run-set-status-e75d8d	1	OK	-	2025-11-28 12:54:48	0 / 1s
2025-11-28/125440-git-fetch-9d6e80	0	OK	-	2025-11-28 12:54:47	0 / 7s
2025-11-28/125440-github-check-run-set-status-71ade7	0	OK	-	2025-11-28 12:54:40	0 / 0
2025-11-28/122038-github-check-run-set-status-fd7fc0	1	OK	-	2025-11-28 12:20:39	0 / 1s
2025-11-28/122010-git-fetch-d629fa	0	OK	-	2025-11-28 12:20:38	0 / 28s
2025-11-28/122010-github-check-run-set-status-16e00c	0	OK	-	2025-11-28 12:20:11	0 / 1s
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