Closed vaitkus closed 4 months ago
This PR updates GitHub actions to use Node.js v20 where possible.
julia-actions/setup-julia seems to not yet offer a version compatible with v20 (see https://github.com/julia-actions/setup-julia/issues/208).
julia-actions/setup-julia
This PR updates GitHub actions to use Node.js v20 where possible.
julia-actions/setup-julia
seems to not yet offer a version compatible with v20 (see https://github.com/julia-actions/setup-julia/issues/208).