CI: force MacOS jobs to use Intel runners (`macos-13`)
commitd36e0d097dfebc87b4f44af613b8dff2f9ad443e
authorArtem Pelenitsyn <a.pelenitsyn@gmail.com>
Sun, 28 Apr 2024 02:43:23 +0000 (28 02:43 +0000)
committerMikolaj <281893+Mikolaj@users.noreply.github.com>
Mon, 29 Apr 2024 15:22:36 +0000 (29 15:22 +0000)
treee286525786bb485634065788046849868eeb62e9
parentc80ee7583ef98a1448309ea4d7dd05b15c91b082
CI: force MacOS jobs to use Intel runners (`macos-13`)

GitHub just switched macos-latest to the ARM chips (now alisasing
`macos-14`), and it brings a bunch of problems.

- First of all, GHC's 8.8 and 8.6 don't exist there.
- ghcup and llvm are unavailable

For the time being, lets stay on the previous version of the runner.
.github/workflows/bootstrap.yml
.github/workflows/validate.yml