Integrated: Update GHA to jdk20

Mon Dec 12 16:49:35 UTC 2022

On Mon, 12 Dec 2022 13:53:16 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR updates the github actions on the jdk20 branch

This pull request has now been integrated.

Changeset: 04a0914e
Author:    Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/04a0914e0a307e983c04b060d24d5bb28de8ba7d
Stats:     17 lines in 1 file changed: 1 ins; 0 del; 16 mod

Update GHA to jdk20

Reviewed-by: jvernee

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

PR: https://git.openjdk.org/jextract/pull/96