opam-ci

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-01-14/094402-github-set-status-0dab69	3	OK	-	2026-01-14 09:44:03	0 / 1s
2026-01-14/093953-ci-ocluster-build-3dc358	1	OK	-	2026-01-14 09:44:02	0 / 4min9s
2026-01-14/093953-ci-ocluster-build-b3b74a	1	No solution for why3find.1.3.0: The actions to process have cyclic dependencies:	-	2026-01-14 09:43:31	0 / 3min38s
2026-01-14/093953-ci-ocluster-build-b7581f	1	No solution for why3find.1.3.0: The actions to process have cyclic dependencies:	-	2026-01-14 09:43:13	0 / 3min20s
2026-01-14/093953-github-set-status-02b52f	2	OK	-	2026-01-14 09:39:54	0 / 1s
2026-01-14/030155-github-set-status-ac9816	1	OK	-	2026-01-14 03:01:56	0 / 1s
2026-01-14/021433-ci-ocluster-build-27c6d0	0	OK	-	2026-01-14 03:01:55	20min13s / 27min9s
2026-01-14/021433-ci-ocluster-build-ab2bcf	0	OK	-	2026-01-14 03:01:24	20min10s / 26min41s
2026-01-14/021433-ci-ocluster-build-b922d7	0	OK	-	2026-01-14 03:01:14	19min37s / 27min4s
2026-01-14/021433-ci-ocluster-build-47a477	0	OK	-	2026-01-14 03:01:03	20min9s / 26min21s
2026-01-14/021433-ci-ocluster-build-fff54a	0	OK	-	2026-01-14 03:00:39	19min38s / 26min28s
2026-01-14/021433-ci-ocluster-build-09b62f	0	OK	-	2026-01-14 03:00:31	20min6s / 25min52s
2026-01-14/021433-ci-ocluster-build-6c6031	0	OK	-	2026-01-14 02:59:57	19min40s / 25min44s
2026-01-14/021433-ci-ocluster-build-695982	0	OK	-	2026-01-14 02:59:43	20min2s / 25min8s
2026-01-14/021555-ci-ocluster-build-862f3f	0	OK	-	2026-01-14 02:59:11	19min5s / 24min11s
2026-01-14/021433-ci-ocluster-build-094063	0	OK	-	2026-01-14 02:59:10	19min53s / 24min44s
2026-01-14/021433-ci-ocluster-build-29c93e	0	OK	-	2026-01-14 02:59:06	19min38s / 24min55s
2026-01-14/021555-ci-ocluster-build-bac408	0	OK	-	2026-01-14 02:58:58	18min56s / 24min7s
2026-01-14/021433-ci-ocluster-build-026f9f	0	OK	-	2026-01-14 02:58:34	19min52s / 24min9s
2026-01-14/021555-ci-ocluster-build-e268f2	0	OK	-	2026-01-14 02:58:23	18min52s / 23min36s
2026-01-14/021433-ci-ocluster-build-52f6ec	0	OK	-	2026-01-14 02:57:50	19min51s / 23min26s
2026-01-14/021433-ci-ocluster-build-5ca2c6	0	OK	-	2026-01-14 02:57:27	19min48s / 23min6s
2026-01-14/021433-ci-ocluster-build-14dbb9	0	OK	-	2026-01-14 02:56:53	19min45s / 22min35s
2026-01-14/021433-ci-ocluster-build-4c38e8	0	OK	-	2026-01-14 02:56:39	19min41s / 22min25s
2026-01-14/021433-ci-ocluster-build-0a4c22	0	OK	-	2026-01-14 02:55:44	19min35s / 21min36s
2026-01-14/021433-ci-ocluster-build-f58a11	0	OK	-	2026-01-14 02:55:15	19min34s / 21min8s
2026-01-14/021433-ci-ocluster-build-eb3e05	0	OK	-	2026-01-14 02:54:50	19min29s / 20min48s
2026-01-14/021433-ci-ocluster-build-65dbca	0	OK	-	2026-01-14 02:54:33	19min34s / 20min26s
2026-01-14/021433-ci-ocluster-build-1b111c	0	OK	-	2026-01-14 02:53:29	19min28s / 19min28s
2026-01-14/021433-ci-ocluster-build-021708	0	OK	-	2026-01-14 02:52:55	19min27s / 18min55s
2026-01-14/021433-ci-ocluster-build-3e193b	0	OK	-	2026-01-14 02:52:29	19min24s / 18min32s
2026-01-14/021433-ci-ocluster-build-764fff	0	OK	-	2026-01-14 02:51:03	19min20s / 17min10s
2026-01-14/021433-ci-ocluster-build-7df9a9	0	OK	-	2026-01-14 02:50:16	19min19s / 16min24s
2026-01-14/021433-ci-ocluster-build-644bb2	0	OK	-	2026-01-14 02:49:50	19min19s / 15min58s
2026-01-14/021433-ci-ocluster-build-03f536	0	OK	-	2026-01-14 02:49:44	19min13s / 15min58s
2026-01-14/021433-ci-ocluster-build-d469db	0	OK	-	2026-01-14 02:47:15	19min13s / 13min29s
2026-01-14/021433-ci-ocluster-build-bd05cf	0	OK	-	2026-01-14 02:47:08	2min58s / 29min37s
2026-01-14/021433-ci-ocluster-build-00458b	0	OK	-	2026-01-14 02:46:49	19min11s / 13min5s
2026-01-14/021433-ci-ocluster-build-75fa83	0	OK	-	2026-01-14 02:46:46	18min25s / 13min48s
2026-01-14/021433-ci-ocluster-build-a5e742	0	OK	-	2026-01-14 02:46:40	19min5s / 13min2s
2026-01-14/021433-ci-ocluster-build-9d9e68	0	OK	-	2026-01-14 02:46:25	1min24s / 30min28s
2026-01-14/021433-ci-ocluster-build-4d2f72	0	OK	-	2026-01-14 02:46:13	1min23s / 30min17s
2026-01-14/021433-ci-ocluster-build-3c8c8a	0	OK	-	2026-01-14 02:46:11	2min4s / 29min34s
2026-01-14/021433-ci-ocluster-build-eb5eaa	0	OK	-	2026-01-14 02:45:56	19min2s / 12min21s
2026-01-14/021555-ci-ocluster-build-55582b	0	OK	-	2026-01-14 02:45:56	19min6s / 10min55s
2026-01-14/021433-ci-ocluster-build-27e06a	0	OK	-	2026-01-14 02:45:56	1min45s / 29min38s
2026-01-14/021433-ci-ocluster-build-bee661	0	OK	-	2026-01-14 02:45:45	3min7s / 28min5s
2026-01-14/021433-ci-ocluster-build-38527f	0	OK	-	2026-01-14 02:45:36	1min47s / 29min16s
2026-01-14/021433-ci-ocluster-build-637ab8	0	OK	-	2026-01-14 02:45:35	19min / 12min2s
2026-01-14/021433-ci-ocluster-build-eca115	0	Failed: Build failed	-	2026-01-14 02:45:33	1s / 30min59s
2026-01-14/021433-ci-ocluster-build-1e8bf6	0	OK	-	2026-01-14 02:45:27	1min17s / 29min37s
2026-01-14/021433-ci-ocluster-build-df8746	0	OK	-	2026-01-14 02:45:25	1min24s / 29min28s
2026-01-14/021433-ci-ocluster-build-601ae0	0	OK	-	2026-01-14 02:45:24	19min1s / 11min50s
2026-01-14/021433-ci-ocluster-build-dd577a	0	OK	-	2026-01-14 02:45:20	18min57s / 11min50s
2026-01-14/021433-ci-ocluster-build-f3fb95	0	OK	-	2026-01-14 02:45:17	1min8s / 29min36s
2026-01-14/021433-ci-ocluster-build-ba4156	0	OK	-	2026-01-14 02:45:14	1min13s / 29min28s
2026-01-14/021433-ci-ocluster-build-e3a904	0	OK	-	2026-01-14 02:45:12	1min9s / 29min30s
2026-01-14/021433-ci-ocluster-build-85da64	0	OK	-	2026-01-14 02:45:10	1min9s / 29min28s
2026-01-14/021433-ci-ocluster-build-da18c4	0	OK	-	2026-01-14 02:45:10	17min39s / 12min58s
2026-01-14/021433-ci-ocluster-build-f2dac0	0	OK	-	2026-01-14 02:45:10	1min24s / 29min13s
2026-01-14/021433-ci-ocluster-build-2828bc	0	OK	-	2026-01-14 02:45:05	1min13s / 29min19s
2026-01-14/021433-ci-ocluster-build-d888e9	0	OK	-	2026-01-14 02:45:05	17min34s / 12min58s
2026-01-14/021433-ci-ocluster-build-758251	0	OK	-	2026-01-14 02:45:04	1min23s / 29min8s
2026-01-14/021433-ci-ocluster-build-54ce8e	0	OK	-	2026-01-14 02:45:02	1min55s / 28min34s
2026-01-14/021433-ci-ocluster-build-2bf496	0	OK	-	2026-01-14 02:45:01	2min7s / 28min21s
2026-01-14/021433-ci-ocluster-build-bdb34c	0	OK	-	2026-01-14 02:44:59	18min58s / 11min28s
2026-01-14/021433-ci-ocluster-build-542b2d	0	OK	-	2026-01-14 02:44:51	1min19s / 28min59s
2026-01-14/021555-ci-ocluster-build-48017f	0	OK	-	2026-01-14 02:44:43	19min59s / 8min49s
2026-01-14/021555-ci-ocluster-build-d8f9cd	0	OK	-	2026-01-14 02:44:42	18min53s / 9min54s
2026-01-14/021433-ci-ocluster-build-45bf6f	0	OK	-	2026-01-14 02:44:41	1min23s / 28min45s
2026-01-14/021555-ci-ocluster-build-7db423	0	OK	-	2026-01-14 02:44:41	19min29s / 9min17s
2026-01-14/021555-ci-ocluster-build-5f1ec8	0	OK	-	2026-01-14 02:44:41	19min26s / 9min20s
2026-01-14/021555-ci-ocluster-build-9955cf	0	ocp-index.1.3.7 failed to build	-	2026-01-14 02:44:23	19min23s / 9min5s
2026-01-14/021433-ci-ocluster-build-34608d	0	OK	-	2026-01-14 02:44:11	17min31s / 12min7s
2026-01-14/021433-ci-ocluster-build-f87f52	0	OK	-	2026-01-14 02:43:49	17min31s / 11min45s
2026-01-14/021433-ci-ocluster-build-1234dd	0	OK	-	2026-01-14 02:43:41	1min42s / 27min26s
2026-01-14/021433-ci-ocluster-build-5a59ea	0	OK	-	2026-01-14 02:43:38	13min20s / 15min45s
2026-01-14/021433-ci-ocluster-build-64425d	0	OK	-	2026-01-14 02:43:34	15min42s / 13min19s
2026-01-14/021433-ci-ocluster-build-5da626	0	OK	-	2026-01-14 02:43:34	16min16s / 12min45s
2026-01-14/021433-ci-ocluster-build-ab849e	0	OK	-	2026-01-14 02:43:21	17min27s / 11min21s
2026-01-14/021433-ci-ocluster-build-07b3d1	0	OK	-	2026-01-14 02:43:21	17min11s / 11min37s
2026-01-14/021433-ci-ocluster-build-41dbd7	0	OK	-	2026-01-14 02:43:20	1min15s / 27min32s
2026-01-14/021433-ci-ocluster-build-759f6a	0	OK	-	2026-01-14 02:43:10	17min43s / 10min54s
2026-01-14/021433-ci-ocluster-build-d4d9ca	0	OK	-	2026-01-14 02:42:58	2min13s / 26min12s
2026-01-14/021433-ci-ocluster-build-88fbb9	0	OK	-	2026-01-14 02:42:55	2min52s / 25min30s
2026-01-14/021433-ci-ocluster-build-3c52ba	0	OK	-	2026-01-14 02:42:54	18min54s / 9min27s
2026-01-14/021433-ci-ocluster-build-346d58	0	OK	-	2026-01-14 02:42:51	55s / 27min23s
2026-01-14/021433-ci-ocluster-build-feb484	0	OK	-	2026-01-14 02:42:50	1min8s / 27min9s
2026-01-14/021433-ci-ocluster-build-e401c9	0	OK	-	2026-01-14 02:42:47	10min49s / 17min25s
2026-01-14/021433-ci-ocluster-build-f51559	0	OK	-	2026-01-14 02:42:45	29s / 27min43s
2026-01-14/021433-ci-ocluster-build-7f4d76	0	OK	-	2026-01-14 02:42:40	1min13s / 26min54s
2026-01-14/021433-ci-ocluster-build-d1bde5	0	OK	-	2026-01-14 02:42:39	50s / 27min16s
2026-01-14/021433-ci-ocluster-build-c13fe5	0	OK	-	2026-01-14 02:42:38	1s / 28min4s
2026-01-14/021433-ci-ocluster-build-e2237a	0	OK	-	2026-01-14 02:42:33	18min19s / 9min41s
2026-01-14/021433-ci-ocluster-build-3aca43	0	OK	-	2026-01-14 02:42:29	4min4s / 23min52s
2026-01-14/021433-ci-ocluster-build-0805c5	0	OK	-	2026-01-14 02:42:25	14min9s / 13min43s
2026-01-14/021433-ci-ocluster-build-744590	0	OK	-	2026-01-14 02:42:24	11min7s / 16min44s
2026-01-14/021433-ci-ocluster-build-c29380	0	OK	-	2026-01-14 02:42:24	12min26s / 15min25s
2026-01-14/021433-ci-ocluster-build-900ce0	0	OK	-	2026-01-14 02:42:22	51s / 26min58s
2026-01-14/021433-ci-ocluster-build-a8f45e	0	OK	-	2026-01-14 02:42:12	2min7s / 25min32s