Run macOS runners Intel hardware as 4.08.1 does not support M1/ARM64

c-cube / qcheck

QuickCheck inspired property-based testing for OCaml.

https://c-cube.github.io/qcheck/

BSD 2-Clause "Simplified" License

340 stars 37 forks source link

Run macOS runners Intel hardware as 4.08.1 does not support M1/ARM64 #289

Closed jmid closed 5 days ago

jmid commented 5 days ago

macos-latest now refers to an M1/ARM64: https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories which ocaml.4.08 does not support.

To restore a running CI, this PR thus switches it to the Intel-running macos-13. (Testing on ARM64 would be nice addition too, but we can address that separately)

jmid commented 5 days ago

All green, merging