RFR: 1943: Update .github/workflows/ci.yml to fix GHA [v2]

[Kevin Rushforth]

On Mon, 12 Jun 2023 21:15:55 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

>> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   change the platform for macos
>
> .github/workflows/ci.yml line 86:
> 
>> 84:   mac:
>> 85:     name: macOS x64
>> 86:     runs-on: "macos-latest"
> 
> We should still pick a specific version for reproducibility.

FWIW, I recently switched the `jfx` workflow to use `macos-13`, but you could choose 11 or 12 if that's a better choice for Skara GHA runs.

(I see you chose `macos-12` which seems like a fine choice)

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

PR Review Comment: https://git.openjdk.org/skara/pull/1530#discussion_r1229940075