RFR: Bring jdk20 branch in sync with panama branch [v4]

Wed Mar 22 14:23:25 UTC 2023

On Wed, 22 Mar 2023 12:57:41 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> This PR brings fixes from `panama` branch back to the `jdk20` branch.
>> We are doing this as part of getting ready to start shipping binary snapshot of the jdk20 version of jextract.
>
> Maurizio Cimadamore has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Fix GHA for jdk20

Marked as reviewed by jvernee (Committer).

-------------

PR Review: https://git.openjdk.org/jextract/pull/114#pullrequestreview-1352700638