Temporarily use `macos-13`

[toku-sa-n]

Description of the PR

Workaround for https://github.com/haskell-actions/setup/issues/77.

Checklist

• [x] Add a changelog if necessary. See https://keepachangelog.com/ for how to write it.
• [x] Add tests in TESTS.md if possible.