deploy-rocq-prover

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-10-16/192521-github-check-run-set-status-fd0be3	1	OK	-	2026-10-16 19:25:23	0 / 2s
2026-10-16/192515-git-fetch-bec9df	0	OK	-	2026-10-16 19:25:21	0 / 6s
2026-10-16/192515-github-check-run-set-status-77cde1	0	OK	-	2026-10-16 19:25:16	0 / 1s
2026-10-16/114706-github-check-run-set-status-1a2006	1	OK	-	2026-10-16 11:47:07	0 / 1s
2026-10-16/114702-git-fetch-053a02	0	OK	-	2026-10-16 11:47:06	0 / 4s
2026-10-16/114702-github-check-run-set-status-79d7ef	0	OK	-	2026-10-16 11:47:03	0 / 1s
2026-10-16/093818-github-check-run-set-status-42c580	1	OK	-	2026-10-16 09:38:19	0 / 1s
2026-10-16/093756-git-fetch-8b1a9b	0	OK	-	2026-10-16 09:38:18	0 / 22s
2026-10-16/093756-github-check-run-set-status-6a374e	0	OK	-	2026-10-16 09:37:57	0 / 1s
2026-10-15/202823-github-check-run-set-status-333c36	1	OK	-	2026-10-15 20:28:25	0 / 2s
2026-10-15/202816-git-fetch-bf949a	0	OK	-	2026-10-15 20:28:23	0 / 7s
2026-10-15/202816-github-check-run-set-status-f93a90	0	OK	-	2026-10-15 20:28:17	0 / 1s
2026-10-15/111756-github-check-run-set-status-b4d7a0	1	OK	-	2026-10-15 11:17:57	0 / 1s
2026-10-15/111748-git-fetch-35d711	0	OK	-	2026-10-15 11:17:56	0 / 8s
2026-10-15/111748-github-check-run-set-status-a9ea14	0	OK	-	2026-10-15 11:17:49	0 / 1s
2026-10-15/072112-github-check-run-set-status-867a85	1	OK	-	2026-10-15 07:21:13	0 / 1s
2026-10-15/072052-git-fetch-2ccd54	0	OK	-	2026-10-15 07:21:12	0 / 20s
2026-10-15/072052-github-check-run-set-status-199bbe	0	OK	-	2026-10-15 07:20:53	0 / 1s
2026-10-14/152316-github-check-run-set-status-b7ba03	1	OK	-	2026-10-14 15:23:17	0 / 1s
2026-10-14/152308-git-fetch-4624db	0	OK	-	2026-10-14 15:23:16	0 / 8s
2026-10-14/152308-github-check-run-set-status-51f55a	0	OK	-	2026-10-14 15:23:09	0 / 1s
2026-10-14/105530-github-check-run-set-status-6240da	1	OK	-	2026-10-14 10:55:31	0 / 1s
2026-10-14/105526-git-fetch-45419c	0	OK	-	2026-10-14 10:55:30	0 / 4s
2026-10-14/105526-github-check-run-set-status-d5a413	0	OK	-	2026-10-14 10:55:27	0 / 1s
2026-10-14/082248-github-check-run-set-status-3bb977	1	OK	-	2026-10-14 08:22:50	0 / 2s
2026-10-14/082221-git-fetch-e783bc	0	OK	-	2026-10-14 08:22:48	0 / 27s
2026-10-14/082221-github-check-run-set-status-412559	0	OK	-	2026-10-14 08:22:22	0 / 1s
2026-10-13/151118-github-check-run-set-status-0fd1a7	1	OK	-	2026-10-13 15:11:19	0 / 1s
2026-10-13/151017-git-fetch-04203f	0	OK	-	2026-10-13 15:11:18	0 / 1min1s
2026-10-13/151017-github-check-run-set-status-3be3cf	0	OK	-	2026-10-13 15:10:18	0 / 1s
2026-10-09/175704-github-check-run-set-status-52f4e5	1	OK	-	2026-10-09 17:57:06	0 / 2s
2026-10-09/175625-git-fetch-58bb62	0	OK	-	2026-10-09 17:57:04	0 / 39s
2026-10-09/175625-github-check-run-set-status-c65fc3	0	OK	-	2026-10-09 17:56:26	0 / 1s
2026-10-08/234314-github-check-run-set-status-818232	1	OK	-	2026-10-08 23:43:15	0 / 1s
2026-10-08/234307-git-fetch-521f94	0	OK	-	2026-10-08 23:43:14	0 / 7s
2026-10-08/234307-github-check-run-set-status-90cc58	0	OK	-	2026-10-08 23:43:08	0 / 1s
2026-10-08/152727-github-check-run-set-status-84f480	1	OK	-	2026-10-08 15:27:28	0 / 1s
2026-10-08/152656-git-fetch-189593	0	OK	-	2026-10-08 15:27:27	0 / 31s
2026-10-08/152656-github-check-run-set-status-3f0a32	0	OK	-	2026-10-08 15:26:58	0 / 2s
2026-10-07/123352-github-check-run-set-status-ea70cf	1	OK	-	2026-10-07 12:33:53	0 / 1s
2026-10-07/123318-git-fetch-e0dcdf	0	OK	-	2026-10-07 12:33:52	0 / 34s
2026-10-07/123318-github-check-run-set-status-0f1ee2	0	OK	-	2026-10-07 12:33:19	0 / 1s
2026-10-05/160224-github-check-run-set-status-d3117c	1	OK	-	2026-10-05 16:02:25	0 / 1s
2026-10-05/160130-git-fetch-dc4ac8	0	OK	-	2026-10-05 16:02:24	0 / 54s
2026-10-05/160130-github-check-run-set-status-dc61f2	0	OK	-	2026-10-05 16:01:31	0 / 1s
2026-10-02/141656-github-check-run-set-status-8bb01d	1	OK	-	2026-10-02 14:16:58	0 / 2s
2026-10-02/141651-git-fetch-ed1799	0	OK	-	2026-10-02 14:16:56	0 / 5s
2026-10-02/141651-github-check-run-set-status-8380cd	0	OK	-	2026-10-02 14:16:52	0 / 1s
2026-10-02/130439-github-check-run-set-status-c878cc	1	OK	-	2026-10-02 13:04:41	0 / 2s
2026-10-02/130405-git-fetch-fda4af	0	OK	-	2026-10-02 13:04:39	0 / 34s
2026-10-02/130405-github-check-run-set-status-7cf248	0	OK	-	2026-10-02 13:04:06	0 / 1s
2026-10-01/213839-github-check-run-set-status-e0e238	1	OK	-	2026-10-01 21:38:41	0 / 2s
2026-10-01/213825-git-fetch-f4f6b6	0	OK	-	2026-10-01 21:38:39	0 / 14s
2026-10-01/213825-github-check-run-set-status-31b0c9	0	OK	-	2026-10-01 21:38:26	0 / 1s
2026-10-01/132212-github-check-run-set-status-2d28ca	1	OK	-	2026-10-01 13:22:13	0 / 1s
2026-10-01/132114-git-fetch-01cdf0	0	OK	-	2026-10-01 13:22:12	0 / 58s
2026-10-01/132114-github-check-run-set-status-f69767	0	OK	-	2026-10-01 13:21:15	0 / 1s
2026-09-29/205336-github-check-run-set-status-9319f7	1	OK	-	2026-09-29 20:53:38	0 / 2s
2026-09-29/205240-git-fetch-ae0c9e	0	OK	-	2026-09-29 20:53:36	0 / 56s
2026-09-29/205240-github-check-run-set-status-9c70cc	0	OK	-	2026-09-29 20:52:41	0 / 1s
2026-09-29/071104-github-check-run-set-status-722c1b	1	OK	-	2026-09-29 07:11:05	0 / 1s
2026-09-29/071041-git-fetch-e4ef09	0	OK	-	2026-09-29 07:11:04	0 / 23s
2026-09-29/071041-github-check-run-set-status-8e04da	0	OK	-	2026-09-29 07:10:42	0 / 1s
2026-09-28/182238-github-check-run-set-status-ec8c76	1	OK	-	2026-09-28 18:22:39	0 / 1s
2026-09-28/182233-git-fetch-0f1b15	0	OK	-	2026-09-28 18:22:38	0 / 5s
2026-09-28/182233-github-check-run-set-status-360f02	0	OK	-	2026-09-28 18:22:34	0 / 1s
2026-09-28/172838-github-check-run-set-status-857b45	1	OK	-	2026-09-28 17:28:39	0 / 1s
2026-09-28/172700-git-fetch-57bb37	0	OK	-	2026-09-28 17:28:38	0 / 1min38s
2026-09-28/172700-github-check-run-set-status-7033f6	0	OK	-	2026-09-28 17:27:01	0 / 1s
2026-09-28/124721-github-check-run-set-status-91b6d0	2	OK	-	2026-09-28 12:47:23	0 / 2s
2026-09-28/124137-docker-build-1fc40a	0	OK	-	2026-09-28 12:47:21	3min49s / 1min55s
2026-09-28/124526-github-check-run-set-status-b38ef8	2	OK	-	2026-09-28 12:45:27	0 / 1s
2026-09-28/124136-docker-build-b09bcf	0	OK	-	2026-09-28 12:45:26	0 / 3min50s
2026-09-28/124137-github-check-run-set-status-fc8108	1	OK	-	2026-09-28 12:41:39	0 / 2s
2026-09-28/124136-github-check-run-set-status-6387f0	1	OK	-	2026-09-28 12:41:37	0 / 1s
2026-09-28/124111-git-fetch-57e1c4	0	OK	-	2026-09-28 12:41:37	0 / 26s
2026-09-28/124110-git-fetch-c1a649	0	OK	-	2026-09-28 12:41:36	0 / 26s
2026-09-28/124111-github-check-run-set-status-d28553	0	OK	-	2026-09-28 12:41:19	3s / 5s
2026-09-28/124110-github-check-run-set-status-a71d8a	0	OK	-	2026-09-28 12:41:14	0 / 4s
2026-09-28/092320-github-check-run-set-status-eee81b	1	OK	-	2026-09-28 09:23:21	0 / 1s
2026-09-28/092259-git-fetch-dafd36	0	OK	-	2026-09-28 09:23:20	0 / 21s
2026-09-28/092259-github-check-run-set-status-f677be	0	OK	-	2026-09-28 09:23:00	0 / 1s
2026-09-25/144913-github-check-run-set-status-278dd8	1	OK	-	2026-09-25 14:49:14	0 / 1s
2026-09-25/144907-git-fetch-da9778	0	OK	-	2026-09-25 14:49:13	0 / 6s
2026-09-25/144907-github-check-run-set-status-fbcae7	0	OK	-	2026-09-25 14:49:08	0 / 1s
2026-09-25/135647-github-check-run-set-status-769246	1	OK	-	2026-09-25 13:56:48	0 / 1s
2026-09-25/135643-git-fetch-e1d3d1	0	OK	-	2026-09-25 13:56:47	0 / 4s
2026-09-25/135643-github-check-run-set-status-33e5bb	0	OK	-	2026-09-25 13:56:44	0 / 1s
2026-09-25/092535-github-check-run-set-status-2611ba	1	OK	-	2026-09-25 09:25:36	0 / 1s
2026-09-25/092516-git-fetch-5cc4c7	0	OK	-	2026-09-25 09:25:35	0 / 19s
2026-09-25/092516-github-check-run-set-status-0fc4d5	0	OK	-	2026-09-25 09:25:17	0 / 1s
2026-09-24/131454-github-check-run-set-status-1e38a5	1	OK	-	2026-09-24 13:14:55	0 / 1s
2026-09-24/131447-git-fetch-6a9305	0	OK	-	2026-09-24 13:14:54	0 / 7s
2026-09-24/131447-github-check-run-set-status-f41772	0	OK	-	2026-09-24 13:14:48	0 / 1s
2026-09-24/115004-github-check-run-set-status-ce211d	1	OK	-	2026-09-24 11:50:05	0 / 1s
2026-09-24/114921-git-fetch-3a7b79	0	OK	-	2026-09-24 11:50:04	0 / 43s
2026-09-24/114921-github-check-run-set-status-e99fc8	0	OK	-	2026-09-24 11:49:22	0 / 1s
2026-09-21/205304-github-check-run-set-status-ec34e0	1	OK	-	2026-09-21 20:53:05	0 / 1s
2026-09-21/205258-git-fetch-451828	0	OK	-	2026-09-21 20:53:04	0 / 6s
2026-09-21/205258-github-check-run-set-status-e3edc0	0	OK	-	2026-09-21 20:52:59	0 / 1s