deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-03-24/182022-github-check-run-set-status-bbe79d	1	OK	-	2026-03-24 18:20:23	0 / 1s
2026-03-24/182018-git-fetch-529a4d	0	OK	-	2026-03-24 18:20:22	0 / 4s
2026-03-24/182018-github-check-run-set-status-1035a2	0	OK	-	2026-03-24 18:20:19	0 / 1s
2026-03-24/135606-github-check-run-set-status-abf07a	1	OK	-	2026-03-24 13:56:07	0 / 1s
2026-03-24/135600-git-fetch-3c2201	0	OK	-	2026-03-24 13:56:06	0 / 6s
2026-03-24/135600-github-check-run-set-status-f176e2	0	OK	-	2026-03-24 13:56:01	0 / 1s
2026-03-24/134118-github-check-run-set-status-3886aa	1	OK	-	2026-03-24 13:41:19	0 / 1s
2026-03-24/134028-git-fetch-b5ff60	0	OK	-	2026-03-24 13:41:18	0 / 50s
2026-03-24/134028-github-check-run-set-status-8efcac	0	OK	-	2026-03-24 13:40:29	0 / 1s
2026-03-24/045939-github-check-run-set-status-efaaf2	1	OK	-	2026-03-24 04:59:40	0 / 1s
2026-03-24/045447-docker-compose-29dc01	0	Command "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" "up" "-d" "--build" "--force-recreate" exited with status 1	-	2026-03-24 04:59:40	0 / 4min53s
2026-03-24/045528-docker-compose-edc477	0	OK	-	2026-03-24 04:59:39	0 / 4min11s
2026-03-24/045508-docker-compose-8d1ec4	0	Command "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" "up" "-d" "--build" "--force-recreate" exited with status 1	-	2026-03-24 04:59:38	0 / 4min30s
2026-03-24/045218-docker-compose-5bf00c	0	Command "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" "up" "-d" "--build" "--force-recreate" exited with status 1	-	2026-03-24 04:55:45	0 / 3min27s
2026-03-24/045235-docker-compose-9536d4	0	OK	-	2026-03-24 04:55:44	0 / 3min9s
2026-03-24/045528-github-check-run-set-status-d810e6	0	OK	-	2026-03-24 04:55:29	0 / 1s
2026-03-24/045527-git-fetch-ed2638	0	OK	-	2026-03-24 04:55:28	0 / 1s
2026-03-24/045508-github-check-run-set-status-798016	0	OK	-	2026-03-24 04:55:09	0 / 1s
2026-03-24/045507-git-fetch-3ebaf0	0	OK	-	2026-03-24 04:55:08	0 / 1s
2026-03-24/045447-github-check-run-set-status-32008a	0	OK	-	2026-03-24 04:54:48	0 / 1s
2026-03-24/045446-git-fetch-ca2213	0	OK	-	2026-03-24 04:54:47	0 / 1s
2026-03-24/045235-github-check-run-set-status-1f8fc8	0	OK	-	2026-03-24 04:52:36	0 / 1s
2026-03-24/045234-git-fetch-e757fc	0	OK	-	2026-03-24 04:52:35	0 / 1s
2026-03-24/045218-github-check-run-set-status-865476	0	OK	-	2026-03-24 04:52:19	0 / 1s
2026-03-24/045217-git-fetch-634599	0	OK	-	2026-03-24 04:52:18	0 / 1s
2026-03-24/044234-docker-compose-f92a46	0	OK	-	2026-03-24 04:46:38	0 / 4min4s
2026-03-24/044637-github-check-run-set-status-8fabef	1	OK	-	2026-03-24 04:46:38	0 / 1s
2026-03-24/044310-docker-compose-9e56cc	0	Command "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_main" "up" "-d" "--build" "--force-recreate" exited with status 1	-	2026-03-24 04:46:37	0 / 3min27s
2026-03-24/044625-github-check-run-set-status-71b62c	1	OK	-	2026-03-24 04:46:26	0 / 1s
2026-03-24/044234-docker-build-7ad9e7	0	OK	-	2026-03-24 04:46:25	0 / 3min51s
2026-03-24/044310-github-check-run-set-status-7c086b	0	OK	-	2026-03-24 04:43:11	0 / 1s
2026-03-24/044309-git-fetch-7fd1a5	0	OK	-	2026-03-24 04:43:10	0 / 1s
2026-03-24/044235-github-check-run-set-status-6632a9	1	OK	-	2026-03-24 04:42:37	1s / 1s
2026-03-24/044234-github-check-run-set-status-a39743	0	OK	-	2026-03-24 04:42:36	1s / 1s
2026-03-24/044234-github-check-run-set-status-12f7bd	0	OK	-	2026-03-24 04:42:35	0 / 1s
2026-03-24/044233-git-fetch-fb730f	0	OK	-	2026-03-24 04:42:35	0 / 2s
2026-03-24/044233-github-check-run-set-status-fe6767	0	OK	-	2026-03-24 04:42:34	1s / 0
2026-03-24/044233-git-fetch-579829	0	OK	-	2026-03-24 04:42:34	0 / 1s
2026-03-24/044233-git-fetch-c26dff	0	OK	-	2026-03-24 04:42:33	0 / 0
2026-03-24/043644-github-check-run-set-status-4d194a	1	OK	-	2026-03-24 04:36:45	0 / 1s
2026-03-24/043443-docker-compose-1bd360	0	OK	-	2026-03-24 04:36:44	0 / 2min1s
2026-03-24/043443-github-check-run-set-status-4416be	0	OK	-	2026-03-24 04:34:44	0 / 1s
2026-03-24/043442-git-fetch-2392ec	0	OK	-	2026-03-24 04:34:43	0 / 1s
2026-03-24/043012-github-check-run-set-status-cc2e86	1	OK	-	2026-03-24 04:30:13	0 / 1s
2026-03-24/042754-docker-build-70b17c	0	Docker build exited with status 1	-	2026-03-24 04:30:12	1min15s / 1min3s
2026-03-24/042909-github-check-run-set-status-5d175d	2	OK	-	2026-03-24 04:29:10	0 / 1s
2026-03-24/042908-github-check-run-set-status-ce4846	1	OK	-	2026-03-24 04:29:09	0 / 1s
2026-03-24/042754-docker-build-803b04	0	Docker build exited with status 1	-	2026-03-24 04:29:09	0 / 1min15s
2026-03-24/042753-docker-compose-5e223e	0	Command "docker-compose" "-f" "compose.yml" "-p" "rocqproverorg_www_staging" "up" "-d" "--build" "--force-recreate" exited with status 1	-	2026-03-24 04:29:08	0 / 1min15s
2026-03-24/042754-github-check-run-set-status-a9a93f	0	OK	-	2026-03-24 04:27:56	2s / 0
2026-03-24/042754-github-check-run-set-status-be8a80	1	OK	-	2026-03-24 04:27:56	1s / 1s
2026-03-24/042753-github-check-run-set-status-3200d9	0	OK	-	2026-03-24 04:27:55	1s / 1s
2026-03-24/042753-git-fetch-21c0f2	0	OK	-	2026-03-24 04:27:54	0 / 1s
2026-03-24/042753-git-fetch-d226d0	0	OK	-	2026-03-24 04:27:54	0 / 1s
2026-03-24/042753-git-fetch-4fd6f0	0	OK	-	2026-03-24 04:27:53	0 / 0
2026-03-24/042753-github-check-run-set-status-2b840d	0	OK	-	2026-03-24 04:27:53	0 / 0
2026-03-24/042401-github-check-run-set-status-e2afdb	1	OK	-	2026-03-24 04:24:02	0 / 1s
2026-03-24/042106-docker-compose-2b6cd1	0	OK	-	2026-03-24 04:24:01	0 / 2min55s
2026-03-24/042106-github-check-run-set-status-5a6d20	0	OK	-	2026-03-24 04:21:07	0 / 1s
2026-03-24/042105-git-fetch-9b18a8	0	OK	-	2026-03-24 04:21:06	0 / 1s
2026-03-23/213807-github-check-run-set-status-1d6b33	1	OK	-	2026-03-23 21:38:08	0 / 1s
2026-03-23/213801-git-fetch-673568	0	OK	-	2026-03-23 21:38:07	0 / 6s
2026-03-23/213801-github-check-run-set-status-9ae1ef	0	OK	-	2026-03-23 21:38:02	0 / 1s
2026-03-23/172404-github-check-run-set-status-c05a6a	1	OK	-	2026-03-23 17:24:05	0 / 1s
2026-03-23/172300-git-fetch-6c8511	0	OK	-	2026-03-23 17:24:04	0 / 1min4s
2026-03-23/172300-github-check-run-set-status-16d475	0	OK	-	2026-03-23 17:23:01	0 / 1s
2026-03-23/171707-github-check-run-set-status-cad1e4	1	OK	-	2026-03-23 17:17:09	0 / 2s
2026-03-23/171137-docker-compose-659d6f	0	OK	-	2026-03-23 17:17:07	0 / 5min30s
2026-03-23/171557-github-check-run-set-status-2fcc17	2	OK	-	2026-03-23 17:15:58	0 / 1s
2026-03-23/171137-docker-build-e422cf	0	OK	-	2026-03-23 17:15:57	0 / 4min20s
2026-03-23/171137-github-check-run-set-status-344a6d	1	OK	-	2026-03-23 17:11:38	0 / 1s
2026-03-23/171137-github-check-run-set-status-cf2688	0	OK	-	2026-03-23 17:11:37	0 / 0
2026-03-23/171132-git-fetch-4b1d90	0	OK	-	2026-03-23 17:11:37	0 / 5s
2026-03-23/171132-git-fetch-7d2d47	0	OK	-	2026-03-23 17:11:37	0 / 5s
2026-03-23/171132-github-check-run-set-status-a6b790	0	OK	-	2026-03-23 17:11:33	0 / 1s
2026-03-23/170850-github-check-run-set-status-72db7b	1	OK	-	2026-03-23 17:08:51	0 / 1s
2026-03-23/170836-git-fetch-4f46d9	0	OK	-	2026-03-23 17:08:50	0 / 14s
2026-03-23/170836-github-check-run-set-status-8e6408	0	OK	-	2026-03-23 17:08:37	0 / 1s
2026-03-22/194152-github-check-run-set-status-44358d	1	OK	-	2026-03-22 19:41:53	0 / 1s
2026-03-22/194148-git-fetch-9f9a69	0	OK	-	2026-03-22 19:41:52	0 / 4s
2026-03-22/194148-github-check-run-set-status-c77069	0	OK	-	2026-03-22 19:41:49	0 / 1s
2026-03-22/153126-github-check-run-set-status-482681	1	OK	-	2026-03-22 15:31:27	0 / 1s
2026-03-22/153123-git-fetch-e44796	0	OK	-	2026-03-22 15:31:26	0 / 3s
2026-03-22/153123-github-check-run-set-status-e5e9a6	0	OK	-	2026-03-22 15:31:23	0 / 0
2026-03-22/142725-github-check-run-set-status-b181ba	1	OK	-	2026-03-22 14:27:26	0 / 1s
2026-03-22/142721-git-fetch-1c4cc7	0	OK	-	2026-03-22 14:27:25	0 / 4s
2026-03-22/142721-github-check-run-set-status-515548	0	OK	-	2026-03-22 14:27:22	0 / 1s
2026-03-22/133252-github-check-run-set-status-1b766b	1	OK	-	2026-03-22 13:32:53	0 / 1s
2026-03-22/133248-git-fetch-0966d8	0	OK	-	2026-03-22 13:32:52	0 / 4s
2026-03-22/133248-github-check-run-set-status-7332f2	0	OK	-	2026-03-22 13:32:49	0 / 1s
2026-03-22/124502-github-check-run-set-status-c5487e	1	OK	-	2026-03-22 12:45:03	0 / 1s
2026-03-22/124457-git-fetch-aceaac	0	OK	-	2026-03-22 12:45:02	0 / 5s
2026-03-22/124457-github-check-run-set-status-2ad160	0	OK	-	2026-03-22 12:44:58	0 / 1s
2026-03-22/110658-github-check-run-set-status-9a2e95	1	OK	-	2026-03-22 11:06:59	0 / 1s
2026-03-22/110645-git-fetch-7ccf2b	0	OK	-	2026-03-22 11:06:58	0 / 13s
2026-03-22/110645-github-check-run-set-status-35722b	0	OK	-	2026-03-22 11:06:45	0 / 0
2026-03-21/084855-github-check-run-set-status-319b8a	1	OK	-	2026-03-21 08:48:56	0 / 1s
2026-03-21/084848-git-fetch-d9cc10	0	OK	-	2026-03-21 08:48:55	0 / 7s
2026-03-21/084848-github-check-run-set-status-3cb1f9	0	OK	-	2026-03-21 08:48:49	0 / 1s
2026-03-20/174258-github-check-run-set-status-54a551	1	OK	-	2026-03-20 17:42:59	0 / 1s