runtimeverification · automergerpr-permission-manager · Apr 29, 2025 · Apr 28, 2025 · Apr 28, 2025 · Apr 28, 2025
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -27,7 +27,7 @@ jobs:
         run: |
           K_VERSION=$(cat ./deps/k_release)
           cd kmir
-          sed -i 's!    "kframework==v[0-9\.]*",!    "kframework==v'${K_VERSION}',"!' pyproject.toml
+          sed -i 's!    "kframework==v[0-9\.]*",!    "kframework==v'${K_VERSION}'",!' pyproject.toml
           uv lock --upgrade
           git add pyproject.toml uv.lock
           git commit -m 'kmir/{pyproject.toml,uv.lock}: sync uv files, K version '${K_VERSION} || true

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.241
+7.1.245
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.241";
+    k-framework.url = "github:runtimeverification/k/v7.1.245";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";

diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
@@ -4,11 +4,11 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kmir"
-version = "0.3.124"
+version = "0.3.125"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==v7.1.241",
+    "kframework==v7.1.245",
 ]
 
 [[project.authors]]

diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.124'
+VERSION: Final = '0.3.125'
diff --git a/kmir/uv.lock b/kmir/uv.lock
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.3.124
+0.3.125