CI: Update OSX resource - Githubissues

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

CI: Update OSX resource #700

Closed blishko closed 7 months ago

blishko commented 7 months ago

CircleCI is shutting down its Intel-based OSX images and moving to M1-based images. See: https://discuss.circleci.com/t/macos-intel-support-deprecation-in-january-2024/48718