ci/mac: remove deprecated macOS 13 runner
the macOS 13 runners will be removed on 4th December.
D
der richter committed
768db305576d170492046027f24109322dc299f3
Parent: 1b9998a
the macOS 13 runners will be removed on 4th December.