Update dependency: deps/kevm_release

.github/actions/with-docker/action.yml

@@ -38,6 +38,18 @@ inputs:
 runs:
   using: 'composite'
   steps:
+  # The Dockerfile's first stage is `FROM ghcr.io/foundry-rs/foundry`, a
+  # third-party org's public image. Self-hosted runners can carry a stale
+  # ghcr.io credential in their docker config; BuildKit then sends it when
+  # fetching the pull token and ghcr.io rejects it ("denied: denied") instead
+  # of falling back to anonymous. Log in with a fresh token so the credential
+  # is always valid (a valid GITHUB_TOKEN can pull public images from any org).
+  - name: 'Log in to ghcr.io'
+    uses: docker/login-action@v3
+    with:
+      registry: ghcr.io
+      username: ${{ github.actor }}
+      password: ${{ github.token }}
   - name: 'Set up Docker'
     shell: bash {0}
     run: |

deps/k_release

@@ -1 +1 @@
-7.1.333
+7.1.334

deps/kevm_release

@@ -1 +1 @@
-1.0.912
+1.0.916

flake.nix

@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.912";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.916";
     kevm.inputs.nixpkgs.follows = "nixpkgs";
 
     k-framework.follows = "kevm/k-framework";

pyproject.toml

@@ -8,7 +8,7 @@ version = "1.0.0"
 description = "Foundry integration for KEVM"
 requires-python = "~=3.10"
 dependencies = [
-    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.912#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.916#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",