Fix K version fetching in update-version (#2794)

* Fix the K version fetching in `update-version` workflow

* Check if the `sed` replacement succeeded with the expected version

* Refine the check on whether the K version was updated correctly

Author: palinatolmach

.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'

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",
 ]