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

[erikmd]

Cc @AltGr

• Kind: bugfix

Description

as macos-14 only provide arm builds now.

Related: actions/runner-images#9741

Checklist

• Read the CONTRIBUTING.md guide and:
  • Use Atomic Commits so each commit gathers a single logical change
  • 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!