deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-01-07/163132-github-check-run-set-status-e796e1	1	OK	-	2026-01-07 16:31:33	0 / 1s
2026-01-07/163127-git-fetch-553582	0	OK	-	2026-01-07 16:31:32	0 / 5s
2026-01-07/163127-github-check-run-set-status-d2ed5f	0	OK	-	2026-01-07 16:31:28	0 / 1s
2026-01-07/145335-github-check-run-set-status-bff966	1	OK	-	2026-01-07 14:53:36	0 / 1s
2026-01-07/145319-git-fetch-d89557	0	OK	-	2026-01-07 14:53:35	0 / 16s
2026-01-07/145319-github-check-run-set-status-50e759	0	OK	-	2026-01-07 14:53:20	0 / 1s
2026-01-06/141605-github-check-run-set-status-f7ca0b	1	OK	-	2026-01-06 14:16:06	0 / 1s
2026-01-06/141558-git-fetch-519008	0	OK	-	2026-01-06 14:16:05	0 / 7s
2026-01-06/141558-github-check-run-set-status-c36b95	0	OK	-	2026-01-06 14:15:59	0 / 1s
2026-01-06/113315-github-check-run-set-status-8e7831	1	OK	-	2026-01-06 11:33:16	0 / 1s
2026-01-06/113310-git-fetch-d2327d	0	OK	-	2026-01-06 11:33:15	0 / 5s
2026-01-06/113310-github-check-run-set-status-32eb4d	0	OK	-	2026-01-06 11:33:10	0 / 0
2026-01-06/110853-github-check-run-set-status-8b38af	1	OK	-	2026-01-06 11:08:53	0 / 0
2026-01-06/110849-git-fetch-f79eb1	0	OK	-	2026-01-06 11:08:53	0 / 4s
2026-01-06/110849-github-check-run-set-status-80adea	0	OK	-	2026-01-06 11:08:50	0 / 1s
2026-01-06/092500-github-check-run-set-status-c90495	1	OK	-	2026-01-06 09:25:01	0 / 1s
2026-01-06/092455-git-fetch-fdfced	0	OK	-	2026-01-06 09:25:00	0 / 5s
2026-01-06/092455-github-check-run-set-status-88b0f5	0	OK	-	2026-01-06 09:24:57	0 / 2s
2026-01-06/092005-github-check-run-set-status-b39c71	1	OK	-	2026-01-06 09:20:06	0 / 1s
2026-01-06/091947-git-fetch-894559	0	OK	-	2026-01-06 09:20:05	0 / 18s
2026-01-06/091947-github-check-run-set-status-a48546	0	OK	-	2026-01-06 09:19:48	0 / 1s
2026-01-05/182216-github-check-run-set-status-1ad48d	1	OK	-	2026-01-05 18:22:17	0 / 1s
2026-01-05/182208-git-fetch-6536bf	0	OK	-	2026-01-05 18:22:16	0 / 8s
2026-01-05/182208-github-check-run-set-status-7c5620	0	OK	-	2026-01-05 18:22:09	0 / 1s
2026-01-05/173140-github-check-run-set-status-fd5dac	1	OK	-	2026-01-05 17:31:41	0 / 1s
2026-01-05/173133-git-fetch-eb0346	0	OK	-	2026-01-05 17:31:40	0 / 7s
2026-01-05/173133-github-check-run-set-status-af4e6a	0	OK	-	2026-01-05 17:31:34	0 / 1s
2026-01-05/160055-github-check-run-set-status-a9df59	1	OK	-	2026-01-05 16:00:56	0 / 1s
2026-01-05/160049-git-fetch-44afcf	0	OK	-	2026-01-05 16:00:55	0 / 6s
2026-01-05/160049-github-check-run-set-status-ce35c5	0	OK	-	2026-01-05 16:00:50	0 / 1s
2026-01-05/145702-github-check-run-set-status-7a3ba9	1	OK	-	2026-01-05 14:57:03	0 / 1s
2026-01-05/145658-git-fetch-08e3f9	0	OK	-	2026-01-05 14:57:02	0 / 4s
2026-01-05/145658-github-check-run-set-status-046968	0	OK	-	2026-01-05 14:56:59	0 / 1s
2026-01-05/130141-github-check-run-set-status-60d1e6	1	OK	-	2026-01-05 13:01:42	0 / 1s
2026-01-05/130133-git-fetch-087e50	0	OK	-	2026-01-05 13:01:41	0 / 8s
2026-01-05/130133-github-check-run-set-status-4d2670	0	OK	-	2026-01-05 13:01:34	0 / 1s
2026-01-05/090113-github-check-run-set-status-f2cc8b	1	OK	-	2026-01-05 09:01:14	0 / 1s
2026-01-05/090053-git-fetch-7dc2d9	0	OK	-	2026-01-05 09:01:13	0 / 20s
2026-01-05/090053-github-check-run-set-status-6ca102	0	OK	-	2026-01-05 09:00:54	0 / 1s
2026-01-05/035330-github-check-run-set-status-8a785a	2	OK	-	2026-01-05 03:53:31	1s / 0
2026-01-05/035330-github-check-run-set-status-46cc51	2	OK	-	2026-01-05 03:53:31	0 / 1s
2026-01-05/035135-docker-build-d35c33	0	Docker build exited with status 1	-	2026-01-05 03:53:29	0 / 1min54s
2026-01-05/035135-github-check-run-set-status-0ba655	1	OK	-	2026-01-05 03:51:37	1s / 1s
2026-01-05/035135-github-check-run-set-status-1cc448	1	OK	-	2026-01-05 03:51:36	0 / 1s
2026-01-05/035132-git-fetch-fdfba2	0	OK	-	2026-01-05 03:51:35	0 / 3s
2026-01-05/035132-git-fetch-2c699f	0	OK	-	2026-01-05 03:51:35	0 / 3s
2026-01-05/035132-github-check-run-set-status-fdfbd2	0	OK	-	2026-01-05 03:51:34	1s / 1s
2026-01-05/035132-github-check-run-set-status-7cb7a0	0	OK	-	2026-01-05 03:51:33	0 / 1s
2025-12-31/154324-github-check-run-set-status-bc9c4d	1	OK	-	2025-12-31 15:43:25	0 / 1s
2025-12-31/154320-git-fetch-64cebb	0	OK	-	2025-12-31 15:43:24	0 / 4s
2025-12-31/154320-github-check-run-set-status-bec0aa	0	OK	-	2025-12-31 15:43:21	0 / 1s
2025-12-31/151020-github-check-run-set-status-378101	1	OK	-	2025-12-31 15:10:21	0 / 1s
2025-12-31/151007-git-fetch-d14a00	0	OK	-	2025-12-31 15:10:20	0 / 13s
2025-12-31/151007-github-check-run-set-status-5e3453	0	OK	-	2025-12-31 15:10:08	0 / 1s
2025-12-31/035312-github-check-run-set-status-7b794a	1	OK	-	2025-12-31 03:53:13	0 / 1s
2025-12-31/035237-git-fetch-141927	0	OK	-	2025-12-31 03:53:12	0 / 35s
2025-12-31/035237-github-check-run-set-status-4ebbbb	0	OK	-	2025-12-31 03:52:38	0 / 1s
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