Jan Midtgaard
Jan Midtgaard
I just did a close-open dance to retrigger a CI run now that #28976 has been merged.
I believe there's some overlap between this PR and #29085.
OK, thanks. Like for the other one, we should wait until #28842 is merged and then rerun CI for this PR.
Retriggered a CI run here too, now that https://github.com/ocaml/opam-repository/pull/28842 has been merged.
Hm. CI logs is full of `conf-libclang` failures that I am trying to understand, since it is listing only `6 jobs passed`. This is not a problem with this PR,...
I've now opened https://github.com/ocaml/opam-repository/pull/28950 which hopefully should address the `conf-libclang` errors.
I've repeated the close-open dance and pressed 'rebuild all' in opam-ci now that #28950 has been merged. Fingers crossed that this will address the many `conf-libclang.12` errors... :crossed_fingers:
Just did another close-open dance now that #28968 with `conf-libclang.19` has been merged... :crossed_fingers:
OK, so there's progress. I see compilation failures on Alpine, Debian-12, and newer Ubuntus, all with variations of the following: https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/54f70dbf3bc6d5a86217e550916b1400ce7f19db/variant/distributions,debian-12-ocaml-4.14,frama-clang.0.0.19~beta ``` #=== ERROR while compiling frama-clang.0.0.19~beta ============================# # context...