Remove all usage of `macos-13` from workflows

[mrmundt]

Summary

GitHub sent out a message announcing that all macos-13 runners are going to be retired on Dec 4th. We still use those for the cover steps in our actions, so we need to replace it with something else.

Rationale

We want our workflows to keep working!

Description

Additional information

The macOS 13 runner image will be retired by December 4th, 2025. To raise awareness of the upcoming removal, jobs using macOS 13 will temporarily fail during the scheduled brownout time periods defined below:
November 4, 14:00 UTC - November 5, 00:00 UTC
November 11, 14:00 UTC - November 12, 00:00 UTC
November 18, 14:00 UTC - November 19, 00:00 UTC
November 25, 14:00 UTC - November 26, 00:00 UTC
This deprecation includes the following labels:
macos-13
macos-13-large
macos-13-xlarge
What you need to do
(Recommended) If your workflow is architecture agnostic, you can migrate to any of our arm64 labels:
macos-15 or macos-latest
macos-14
macos-14-xlarge
macos-latest-xlarge or macos-15-xlarge
For users that require the x86_64 (Intel) architecture, jobs can be migrated to one of the following labels:
macos-15-intel (new)
macos-14-large
macos-latest-large or macos-15-large

Notice of macOS x86_64 (Intel) architecture deprecation
Apple has discontinued support for the x86_64 (Intel) architecture going forward. GitHub will no longer support this architecture on macOS after the macOS 15 runner image is retired in Fall 2027. You should begin migrating your workloads to arm64-based (Apple Silicon) runners as soon as possible to prepare for this eventual deprecation.