Update dependency: deps/k_release (#2724)

* deps/k_release: Set Version 7.1.226

* kevm-pyk/: sync poetry files pyk version 7.1.226

* flake.{nix,lock}: update Nix derivations

* deps/k_release: Set Version 7.1.227

* deps/k_release: Set Version 7.1.228

* kevm-pyk/: sync poetry files pyk version 7.1.228

* flake.{nix,lock}: update Nix derivations

* deps/k_release: Set Version 7.1.229

* kevm-pyk/: sync poetry files pyk version 7.1.229

* flake.{nix,lock}: update Nix derivations

* deps/k_release: Set Version 7.1.230

* kevm-pyk/: sync poetry files pyk version 7.1.230

* flake.{nix,lock}: update Nix derivations

* Remove `macos-13` from nix build testing, release

* kevm-pyk/: sync poetry files pyk version 7.1.230

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: JianHong Zhao <[email protected]>
Co-authored-by: palinatolmach <[email protected]>

Author: 4 people

.github/workflows/release.yml

@@ -36,7 +36,6 @@ jobs:
       matrix:
         include:
           - runner: normal
-          - runner: macos-13
           - runner: ARM64
     runs-on: ${{ matrix.runner }}
     needs: draft-release
@@ -46,23 +45,6 @@ jobs:
         with:
           ref: ${{ github.event.push.head.sha }}
           fetch-depth: 0
-      - name: 'Upgrade bash'
-        if: ${{ contains(matrix.os, 'macos') }}
-        run: brew install bash
-      - name: 'Install Nix'
-        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-13' }}
-        uses: cachix/cachix-action@v12
-        with:
-          name: k-framework
-          signingKey: ${{ secrets.CACHIX_SIGNING_KEY }}
-          skipPush: true
       - name: 'Build KEVM'
         run: |
           GC_DONT_GC=1 nix build --extra-experimental-features 'nix-command flakes' --print-build-logs

.github/workflows/test-pr.yml

@@ -147,7 +147,6 @@ jobs:
       matrix:
         include:
           - runner: normal
-          - runner: macos-13
           - runner: ARM64
     needs: kevm-pyk-code-quality-checks
     runs-on: ${{ matrix.runner }}
@@ -162,20 +161,6 @@ jobs:
         run: |
           set -eux
           git submodule update --init --recursive -- kevm-pyk/src/kevm_pyk/kproj/plugin
-      - name: 'Install Nix'
-        if: ${{ matrix.runner == 'macos-13' }}
-        uses: cachix/install-nix-action@v25
-        with:
-          install_url: https://releases.nixos.org/nix/nix-2.19.3/install
-          extra_nix_config: |
-            access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
-            substituters = http://cache.nixos.org https://cache.iog.io
-            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
-      - name: 'Install Cachix'
-        if: ${{ matrix.runner == 'macos-13' }}
-        uses: cachix/cachix-action@v14
-        with:
-          name: k-framework
       - name: 'Build KEVM'
         run: GC_DONT_GC=1 nix build --extra-experimental-features 'nix-command flakes' --print-build-logs
       - name: 'Test KEVM'

deps/k_release

@@ -1 +1 @@
-7.1.225
+7.1.230

flake.lock

@@ -2,7 +2,7 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.225";
+    k-framework.url = "github:runtimeverification/k/v7.1.230";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";