RFR: Update GHA to jdk20

Maurizio Cimadamore mcimadamore at openjdk.org
Mon Dec 12 13:58:28 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

.github/workflows/test.yml line 61:

> 59:         ${{ matrix.JAVA20_HOME }}/bin/java --version
> 60: 
> 61:     - name: 'Setup Java 19'

Not sure why this is/was here?

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

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


More information about the jextract-dev mailing list