Dropping Intel Mac to Tier 2

Update: the PR has been merged, and Intel macOS (aka x86_64-apple-darwin) is now tier 2:

We’re still testing macos-13 on the CI, and I suggest we keep it there until GH pulls the plug (some time between 1st September and 14th November), as it’ll help us surface failures earlier.

But when it does go away, here’s a PR that’s ready to merge and minimise the disruption:

8 Likes