On Fri, 20 Oct 2023 20:45:18 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote: > It seems like GHA on this PR has failed? Two tests fail - although they were passing locally... anyway - this PR is good to go. ------------- PR Comment: https://git.openjdk.org/jextract/pull/134#issuecomment-1773372745