CI: Update OSX resource

usi-verification-and-security / golem

Solver for Constrained Horn Clauses

MIT License

34 stars 7 forks source link

Closed blishko closed 4 months ago

blishko commented 4 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