Retired macOS runners

The macOS 13 runner image will be retired by December 4th, 2025.

This deprecation includes the following labels:
macos-13
macos-13-large
macos-13-xlarge

Migrate to any of our arm64 labels:
macos-15 or macos-latest
macos-14
macos-14-xlarge
macos-latest-xlarge or macos-15-xlarge