Question: should we use the `-latest` runners or by version?

Newer runners will become available and the `-latest` runners might be updated with notice.

Today, we are using `macOS-latest`, `ubuntu-latest`, and `windows-latest`.

A newer macOS version is available (13), but it is in beta.

ref: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners