diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index f896d54b13..28b6a60724 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -44,7 +44,10 @@ jobs:
       - name: 'Update pyk release tag'
         run: |
           K_VERSION=$(cat deps/k_release)
-          sed -i 's!    "kframework==[0-9\.]*,"!    "kframework=='${K_VERSION}'",!' kevm-pyk/pyproject.toml
+          sed -i 's!    "kframework==[0-9\.]*",!    "kframework=='${K_VERSION}'",!' kevm-pyk/pyproject.toml
+          if ! grep -q "kframework==$K_VERSION" kevm-pyk/pyproject.toml; then
+            echo "Update failed: kframework==$K_VERSION not found"; exit 1
+          fi
           uv --project kevm-pyk lock --upgrade
           git add kevm-pyk/ && git commit -m "kevm-pyk/: sync uv files pyk version ${K_VERSION}" || true
       - name: 'Update plugin release file'
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index a4ce16e541..b9e3b4b8b8 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
     "frozendict>=2.4.6,<3",
-    "kframework==7.1.280",
+    "kframework==7.1.282",
     "pathos",
     "tomlkit>=0.11.6",
 ]