fix(CI): Use macos-13 for static-builds

[erikmd]

Cc @AltGr

• Kind: bugfix

Description

as macos-14 only provide arm builds now.

Related: https://github.com/actions/runner-images/issues/9741

Checklist

• [x] Read the CONTRIBUTING.md guide and:
  • [x] Use Atomic Commits so each commit gathers a single logical change
  • [x] Use Conventional Commits regarding commit messages (needed by our release toolchain)
• [ ] Add/update tests
• [ ] Add/update documentation
• [ ] …

Note to maintainers

• Read this wiki page.
• Make sure the PR has a milestone.
• Assign yourself before merging.
• [ ] Either do a regular merge:
  • for PRs containing several commits following conventional-commits,
  • or for PRs containing 1 commit shared with a later PR (to preserve the SHA1)
• [ ] Or do a squash-merge:
  • for PRs containing only 1 commit (not shared with a later PR),
  • or for PRs containing several commits that need not be kept in the history;
  • → Update the commit message header with a conventional-commit type,
  • → Add a footer Close #… if a related issue exists.

[erikmd]

@AltGr when the CI is green, feel free to squash-merge this PR, then rebase #602 on master,

or if ever you prefer, rebase #602 now on #603, then merge the two PR, without squash-merging #602 (in order not to raise a git conflict)

[AltGr]

Thanks a lot!