Upgrade runner to macos-13 (#1917)

* Upgrade runner to `macos-13`

Related: runtimeverification/k#3472

* Set Version: 1.0.211

* .github/master-push: upgrade to macos-13

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>

.github/workflows/master-push.yml

@@ -15,7 +15,7 @@ jobs:
       matrix:
         include:
           - runner: normal
-          - runner: macos-12
+          - runner: macos-13
           - runner: ARM64
     runs-on: ${{ matrix.runner }}
     steps:
@@ -27,14 +27,14 @@ jobs:
         if: ${{ contains(matrix.os, 'macos') }}
         run: brew install bash
       - name: 'Install Nix'
-        if: ${{ matrix.runner == 'macos-12' }}
+        if: ${{ matrix.runner == 'macos-13' }}
         uses: cachix/install-nix-action@v19
         with:
           install_url: https://releases.nixos.org/nix/nix-2.13.3/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
       - name: 'Install Cachix'
-        if: ${{ matrix.runner == 'macos-12' }}
+        if: ${{ matrix.runner == 'macos-13' }}
         uses: cachix/cachix-action@v12
         with:
           name: k-framework

.github/workflows/test-pr.yml

@@ -174,7 +174,7 @@ jobs:
       matrix:
         include:
           - runner: normal
-          - runner: macos-12
+          - runner: macos-13
           - runner: ARM64
     needs: version-bump
     runs-on: ${{ matrix.runner }}
@@ -186,14 +186,14 @@ jobs:
           # Check out pull request HEAD instead of merge commit.
           ref: ${{ github.event.pull_request.head.sha }}
       - name: 'Install Nix'
-        if: ${{ matrix.runner == 'macos-12' }}
+        if: ${{ matrix.runner == 'macos-13' }}
         uses: cachix/install-nix-action@v19
         with:
           install_url: https://releases.nixos.org/nix/nix-2.13.3/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
       - name: 'Install Cachix'
-        if: ${{ matrix.runner == 'macos-12' }}
+        if: ${{ matrix.runner == 'macos-13' }}
         uses: cachix/cachix-action@v12
         with:
           name: k-framework

kevm-pyk/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.210"
+version = "1.0.211"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

package/debian/changelog

@@ -1,4 +1,4 @@
-kevm (1.0.210) unstable; urgency=medium
+kevm (1.0.211) unstable; urgency=medium
 
   * Initial Release.
 

package/version

@@ -1 +1 @@
-1.0.210
+1.0.211