Refactor CI matrix due to deprecated macos-13#201

sim642 merged 1 commit intodevelopgoblint/cil:developfrom

github-actions-macos-13-deprecatedgoblint/cil:github-actions-macos-13-deprecatedCopy head branch name to clipboard