CI: Switch from `macos-12` to `macos-13`

GaloisInc / saw-script

The SAW scripting language.

BSD 3-Clause "New" or "Revised" License

442 stars 63 forks source link

CI: Switch from `macos-12` to `macos-13` #2154

Closed RyanGlScott closed 2 days ago

RyanGlScott commented 2 days ago

GitHub Actions is removing support for macos-12 (see https://github.com/actions/runner-images/issues/10721), so this switches SAW's CI from macos-12 to macos-13 in order to support an x86-64 version of macOS.