Update dependency: deps/pyk_release

.github/workflows/test-pr.yml

@@ -139,13 +139,11 @@ jobs:
       - name: 'Install Cachix'
         uses: cachix/cachix-action@v10
         with:
-          name: runtimeverification
-          extraPullNames: kore
-          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
-          authToken: ${{ secrets.CACHIX_RV_PRIVATE_TOKEN }}
-
+          name: k-framework
+          authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
+
       # - name: Check submodules
       #   run: GC_DONT_GC=1 nix run .#check-submodules
 
       - name: Test KEVM
-        run: GC_DONT_GC=1 nix build .#kevm-test
+        run: GC_DONT_GC=1 nix build --print-build-logs .#kevm-test

.github/workflows/update-version.yml

@@ -53,9 +53,8 @@ jobs:
       - name: 'Install Cachix'
         uses: cachix/cachix-action@v10
         with:
-          name: runtimeverification
-          extraPullNames: kore
-          signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
+          name: k-framework
+          authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
       - name: 'Update nix flake inputs'
         run: |
           nix run .#update-from-submodules

deps/pyk_release

@@ -1 +1 @@
-v0.1.54
+v0.1.73

flake.nix

@@ -18,7 +18,7 @@
       "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    pyk.url = "github:runtimeverification/pyk/v0.1.54";
+    pyk.url = "github:runtimeverification/pyk/v0.1.73";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
 
@@ -38,7 +38,7 @@
           llvmPackages.llvm
           cryptopp.dev
           gmp
-          graphviz
+          # graphviz
           mpfr
           openssl.dev
           pkg-config

kevm-pyk/pyproject.toml

@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.8"
 pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.54" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.73" }
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"