Build solvers on macos-14 (M1 macOS) - Githubissues

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4

5 stars 1 forks source link

Build solvers on macos-14 (M1 macOS) #48

Closed RyanGlScott closed 8 months ago

RyanGlScott commented 8 months ago

Now that GitHub Actions offers a free tier of macOS M1 CI runners (see https://github.blog/changelog/2024-01-30-github-actions-introducing-the-new-m1-macos-runner-available-to-open-source/), let's build the solvers on them.

Fixes https://github.com/GaloisInc/what4-solvers/issues/34.