opam-ci

Job	Build #	Result	Rebuild?	Finished	Queue / run time
2026-01-07/225039-github-set-status-98e505	4	OK	-	2026-01-07 22:50:39	0 / 0
2026-01-07/205010-ci-ocluster-build-05c9f5	1	Cancelled	-	2026-01-07 22:50:38	20s / 2h1min
2026-01-07/205010-github-set-status-583045	3	OK	-	2026-01-07 20:50:11	0 / 1s
2026-01-07/202247-github-set-status-b12587	1	OK	-	2026-01-07 20:22:48	0 / 1s
2026-01-07/185749-ci-ocluster-build-4aa654	0	OK	-	2026-01-07 20:22:47	1h25min / 53s
2026-01-07/185749-ci-ocluster-build-4f9003	0	OK	-	2026-01-07 20:21:54	19min50s / 1h5min
2026-01-07/185749-ci-ocluster-build-e9c48e	0	[SKIP] Package not available	-	2026-01-07 19:35:54	36min28s / 1min37s
2026-01-07/185749-ci-ocluster-build-ca4d2b	0	[SKIP] Package not available	-	2026-01-07 19:34:16	25min25s / 11min2s
2026-01-07/185749-ci-ocluster-build-5642ca	0	expected ')' before 'format'	-	2026-01-07 19:20:43	3min11s / 19min43s
2026-01-07/185749-ci-ocluster-build-4c1049	0	expected ')' before 'format'	-	2026-01-07 19:20:43	3min9s / 19min45s
2026-01-07/185749-ci-ocluster-build-e76b38	0	expected ')' before 'format'	-	2026-01-07 19:19:46	2min33s / 19min24s
2026-01-07/185749-ci-ocluster-build-5bfbe7	0	expected ')' before 'format'	-	2026-01-07 19:19:45	2min33s / 19min23s
2026-01-07/185749-ci-ocluster-build-a3b1f7	0	OK	-	2026-01-07 19:16:54	2min28s / 16min37s
2026-01-07/185749-ci-ocluster-build-f793c2	0	[SKIP] Package not available	-	2026-01-07 19:10:28	11min59s / 40s
2026-01-07/185749-ci-ocluster-build-98229d	0	OK	-	2026-01-07 19:10:00	2min8s / 10min3s
2026-01-07/185749-ci-ocluster-build-8b6feb	0	OK	-	2026-01-07 19:09:52	3min12s / 8min51s
2026-01-07/185749-ci-ocluster-build-1c0a52	0	[SKIP] Package not available	-	2026-01-07 19:09:48	10min1s / 1min58s
2026-01-07/185749-ci-ocluster-build-cf0897	0	[SKIP] Package not available	-	2026-01-07 19:09:34	4min29s / 7min16s
2026-01-07/185749-ci-ocluster-build-a1dc1f	0	[SKIP] Package not available	-	2026-01-07 19:09:34	4min39s / 7min6s
2026-01-07/185749-ci-ocluster-build-5b0aec	0	'replace' is not a member of 'std'	-	2026-01-07 19:09:33	5min42s / 6min2s
2026-01-07/185749-ci-ocluster-build-b30e28	0	'replace' is not a member of 'std'	-	2026-01-07 19:09:33	5min35s / 6min9s
2026-01-07/185749-ci-ocluster-build-a50339	0	'replace' is not a member of 'std'	-	2026-01-07 19:09:33	5min42s / 6min2s
2026-01-07/185749-ci-ocluster-build-bfb9c8	0	no member named 'to_zarith' in 'bzla::BitVector'	-	2026-01-07 19:09:05	8min58s / 2min18s
2026-01-07/185749-ci-ocluster-build-417b69	0	'replace' is not a member of 'std'	-	2026-01-07 19:08:53	6min2s / 5min2s
2026-01-07/185749-ci-ocluster-build-7e1c07	0	'replace' is not a member of 'std'	-	2026-01-07 19:08:52	6min2s / 5min1s
2026-01-07/185749-ci-ocluster-build-6b8892	0	'replace' is not a member of 'std'	-	2026-01-07 19:08:50	5min47s / 5min14s
2026-01-07/185749-ci-ocluster-build-62bfb7	0	[SKIP] Package not available	-	2026-01-07 19:08:46	4min55s / 6min2s
2026-01-07/185749-ci-ocluster-build-c68c08	0	[SKIP] Package not available	-	2026-01-07 19:08:46	4min44s / 6min13s
2026-01-07/185749-ci-ocluster-build-927c6d	0	[SKIP] Package not available	-	2026-01-07 19:08:46	4min39s / 6min18s
2026-01-07/185749-ci-ocluster-build-cae895	0	[SKIP] Package not available	-	2026-01-07 19:08:46	4min40s / 6min17s
2026-01-07/185749-ci-ocluster-build-6e2765	0	[SKIP] Package not available	-	2026-01-07 19:08:04	4min28s / 5min47s
2026-01-07/185749-ci-ocluster-build-1625e0	0	[SKIP] Package not available	-	2026-01-07 19:08:03	4min28s / 5min46s
2026-01-07/185749-ci-ocluster-build-3eab67	0	no member named 'to_zarith' in 'bzla::BitVector'	-	2026-01-07 19:06:48	59s / 8min
2026-01-07/185749-ci-ocluster-build-9f3405	0	[SKIP] Package not available	-	2026-01-07 19:06:34	6min10s / 2min35s
2026-01-07/185749-ci-ocluster-build-4e0270	0	[SKIP] Package not available	-	2026-01-07 19:06:34	6min2s / 2min43s
2026-01-07/185749-ci-ocluster-build-e66690	0	[SKIP] Package not available	-	2026-01-07 19:06:34	6min10s / 2min35s
2026-01-07/185749-ci-ocluster-build-bf8e40	0	[SKIP] Package not available	-	2026-01-07 19:06:21	6min / 2min32s
2026-01-07/185749-ci-ocluster-build-183ccb	0	[SKIP] Package not available	-	2026-01-07 19:06:21	6min / 2min32s
2026-01-07/185749-ci-ocluster-build-3c55b8	0	[SKIP] Package not available	-	2026-01-07 19:06:21	6min2s / 2min30s
2026-01-07/185749-ci-ocluster-build-b9a329	0	'replace' is not a member of 'std'	-	2026-01-07 19:06:04	5min58s / 2min17s
2026-01-07/185749-ci-ocluster-build-757907	0	'replace' is not a member of 'std'	-	2026-01-07 19:06:04	5min54s / 2min21s
2026-01-07/185749-ci-ocluster-build-bedef7	0	'replace' is not a member of 'std'	-	2026-01-07 19:06:03	5min58s / 2min16s
2026-01-07/185749-ci-ocluster-build-a25d90	0	[SKIP] Package not available	-	2026-01-07 19:05:49	6min15s / 1min45s
2026-01-07/185749-ci-ocluster-build-bb1e95	0	[SKIP] Package not available	-	2026-01-07 19:05:49	6min11s / 1min49s
2026-01-07/185749-ci-ocluster-build-2920d1	0	[SKIP] Package not available	-	2026-01-07 19:05:49	6min5s / 1min55s
2026-01-07/185749-ci-ocluster-build-09764d	0	[SKIP] Package not available	-	2026-01-07 19:05:47	5min25s / 2min33s
2026-01-07/185749-ci-ocluster-build-9944e2	0	[SKIP] Package not available	-	2026-01-07 19:05:47	5min35s / 2min23s
2026-01-07/185749-ci-ocluster-build-95ba2b	0	[SKIP] Package not available	-	2026-01-07 19:05:47	5min25s / 2min33s
2026-01-07/185749-ci-ocluster-build-9a2cd7	0	[SKIP] Package not available	-	2026-01-07 19:05:39	6min1s / 1min49s
2026-01-07/185749-ci-ocluster-build-a03970	0	[SKIP] Package not available	-	2026-01-07 19:05:39	6min1s / 1min49s
2026-01-07/185749-ci-ocluster-build-ff8c88	0	[SKIP] Package not available	-	2026-01-07 19:05:39	6min1s / 1min49s
2026-01-07/185749-ci-ocluster-build-747bac	0	[SKIP] Package not available	-	2026-01-07 19:05:18	4min31s / 2min58s
2026-01-07/185749-ci-ocluster-build-2e615a	0	[SKIP] Package not available	-	2026-01-07 19:05:18	4min31s / 2min58s
2026-01-07/185749-ci-ocluster-build-1c13ad	0	OK	-	2026-01-07 19:05:14	3min22s / 4min3s
2026-01-07/185749-ci-ocluster-build-02d842	0	[SKIP] Package not available	-	2026-01-07 19:05:13	5min31s / 1min53s
2026-01-07/185749-ci-ocluster-build-24cc8d	0	[SKIP] Package not available	-	2026-01-07 19:05:13	5min38s / 1min46s
2026-01-07/185749-ci-ocluster-build-32cafb	0	[SKIP] Package not available	-	2026-01-07 19:05:13	5min38s / 1min46s
2026-01-07/185749-ci-ocluster-build-88e49e	0	[SKIP] Package not available	-	2026-01-07 19:05:12	5min28s / 1min55s
2026-01-07/185749-ci-ocluster-build-60df2a	0	[SKIP] Package not available	-	2026-01-07 19:05:12	5min28s / 1min55s
2026-01-07/185749-ci-ocluster-build-b9ca59	0	[SKIP] Package not available	-	2026-01-07 19:05:12	5min31s / 1min52s
2026-01-07/185749-ci-ocluster-build-d4a719	0	OK	-	2026-01-07 19:05:11	3min20s / 4min2s
2026-01-07/185749-ci-ocluster-build-cf06a3	0	OK	-	2026-01-07 19:05:11	3min19s / 4min3s
2026-01-07/185749-ci-ocluster-build-896c44	0	'replace' is not a member of 'std'	-	2026-01-07 19:05:10	3min24s / 3min57s
2026-01-07/185749-ci-ocluster-build-fe04f4	0	'replace' is not a member of 'std'	-	2026-01-07 19:05:10	3min28s / 3min53s
2026-01-07/185749-ci-ocluster-build-7c20be	0	[SKIP] Package not available	-	2026-01-07 19:04:55	4min15s / 2min51s
2026-01-07/185749-ci-ocluster-build-387900	0	[SKIP] Package not available	-	2026-01-07 19:04:55	4min33s / 2min33s
2026-01-07/185749-ci-ocluster-build-32a1f7	0	OK	-	2026-01-07 19:04:54	2min15s / 4min50s
2026-01-07/185749-ci-ocluster-build-b1e8aa	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:52	2min17s / 4min46s
2026-01-07/185749-ci-ocluster-build-ecf4c4	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:52	2min50s / 4min13s
2026-01-07/185749-ci-ocluster-build-3373df	0	[SKIP] Package not available	-	2026-01-07 19:04:50	3min53s / 3min8s
2026-01-07/185749-ci-ocluster-build-5778b8	0	[SKIP] Package not available	-	2026-01-07 19:04:50	4min14s / 2min47s
2026-01-07/185749-ci-ocluster-build-a7fdb2	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:48	1min27s / 5min32s
2026-01-07/185749-ci-ocluster-build-77d791	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:48	1min25s / 5min34s
2026-01-07/185749-ci-ocluster-build-048322	0	[SKIP] Package not available	-	2026-01-07 19:04:44	4min51s / 2min4s
2026-01-07/185749-ci-ocluster-build-703e0c	0	[SKIP] Package not available	-	2026-01-07 19:04:44	4min51s / 2min4s
2026-01-07/185749-ci-ocluster-build-33e753	0	[SKIP] Package not available	-	2026-01-07 19:04:38	5min8s / 1min41s
2026-01-07/185749-ci-ocluster-build-e2c29b	0	[SKIP] Package not available	-	2026-01-07 19:04:38	5min5s / 1min44s
2026-01-07/185749-ci-ocluster-build-5d40eb	0	[SKIP] Package not available	-	2026-01-07 19:04:38	5min8s / 1min41s
2026-01-07/185749-ci-ocluster-build-af9c36	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:35	1min38s / 5min8s
2026-01-07/185749-ci-ocluster-build-621eec	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:35	1min39s / 5min7s
2026-01-07/185749-ci-ocluster-build-eb12b9	0	[SKIP] Package not available	-	2026-01-07 19:04:23	4min23s / 2min11s
2026-01-07/185749-ci-ocluster-build-b65614	0	[SKIP] Package not available	-	2026-01-07 19:04:23	4min23s / 2min11s
2026-01-07/185749-ci-ocluster-build-1ef074	0	[SKIP] Package not available	-	2026-01-07 19:04:23	4min31s / 2min3s
2026-01-07/185749-ci-ocluster-build-69058c	0	[SKIP] Package not available	-	2026-01-07 19:04:23	4min31s / 2min3s
2026-01-07/185749-ci-ocluster-build-dad240	0	[SKIP] Package not available	-	2026-01-07 19:04:21	5min47s / 45s
2026-01-07/185749-ci-ocluster-build-6b4a7d	0	[SKIP] Package not available	-	2026-01-07 19:04:21	5min39s / 53s
2026-01-07/185749-ci-ocluster-build-9aea02	0	[SKIP] Package not available	-	2026-01-07 19:04:21	5min39s / 53s
2026-01-07/185749-ci-ocluster-build-180d24	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:18	2min2s / 4min27s
2026-01-07/185749-ci-ocluster-build-142ae8	0	'replace' is not a member of 'std'	-	2026-01-07 19:04:17	1min50s / 4min38s
2026-01-07/185749-ci-ocluster-build-fd7a5a	0	[SKIP] Package not available	-	2026-01-07 19:04:16	3min46s / 2min41s
2026-01-07/185749-ci-ocluster-build-7cef78	0	[SKIP] Package not available	-	2026-01-07 19:04:16	3min44s / 2min43s
2026-01-07/185749-ci-ocluster-build-bcfdd5	0	[SKIP] Package not available	-	2026-01-07 19:04:15	4min28s / 1min58s
2026-01-07/185749-ci-ocluster-build-028b6a	0	[SKIP] Package not available	-	2026-01-07 19:04:15	4min28s / 1min58s
2026-01-07/185749-ci-ocluster-build-e2108a	0	OK	-	2026-01-07 19:04:09	2min22s / 3min58s
2026-01-07/185749-ci-ocluster-build-603a01	0	OK	-	2026-01-07 19:04:04	2min23s / 3min52s
2026-01-07/185749-ci-ocluster-build-d1e0f0	0	expected ')' before 'format'	-	2026-01-07 19:04:03	3min34s / 2min40s
2026-01-07/185749-ci-ocluster-build-cff038	0	expected ')' before 'format'	-	2026-01-07 19:04:03	3min19s / 2min55s
2026-01-07/185749-ci-ocluster-build-5c27df	0	[SKIP] Package not available	-	2026-01-07 19:04:01	4min22s / 1min50s
2026-01-07/185749-ci-ocluster-build-6cca7a	0	[SKIP] Package not available	-	2026-01-07 19:04:01	4min22s / 1min50s
2026-01-07/185749-ci-ocluster-build-197eea	0	OK	-	2026-01-07 19:04:00	3min23s / 2min48s