CI: Switch to macos-13 runner (once available)
Reply To cazfi
Github tells that macos-13 runners will become available (beta) Q2/23.
Should be in public beta now. https://github.blog/changelog/2023-04-24-github-actions-macos-13-is-now-available/
Depends on #47939
Github tells that macos-13 runners will become available (beta) Q2/23.