Consistent versions for uv and GH actions

.github/workflows/master-push.yml

@@ -21,8 +21,14 @@ jobs:
         run: |
           git config user.name devops
           git config user.email devops@runtimeverification.com
+      - name: 'Get uv release'
+        id: uv_release
+        run: |
+          echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}"
       - name: 'Install uv'
         uses: astral-sh/setup-uv@v6
+        with:
+          version: ${{ steps.uv_release.outputs.uv_version }}
       - name: 'Update release branch with current master'
         run: |
           git checkout -B release origin/release

.github/workflows/test.yml

@@ -21,10 +21,14 @@ jobs:
         run: |
           git config user.name devops
           git config user.email devops@runtimeverification.com
+      - name: 'Get uv release'
+        id: uv_release
+        run: |
+          echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}"
       - name: 'Install uv'
-        uses: astral-sh/setup-uv@v5
+        uses: astral-sh/setup-uv@v6
         with:
-          version: 0.7.2
+          version: ${{ steps.uv_release.outputs.uv_version }}
       - name: 'Update version'
         run: |
           og_version=$(git show origin/${GITHUB_BASE_REF}:package/version)
@@ -43,10 +47,14 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
+      - name: 'Get uv release'
+        id: uv_release
+        run: |
+          echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}"
       - name: 'Install uv'
-        uses: astral-sh/setup-uv@v5
+        uses: astral-sh/setup-uv@v6
         with:
-          version: 0.7.2
+          version: ${{ steps.uv_release.outputs.uv_version }}
       - name: 'Run code quality checks'
         run: make check
 
@@ -57,10 +65,14 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
+      - name: 'Get uv release'
+        id: uv_release
+        run: |
+          echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}"
       - name: 'Install uv'
-        uses: astral-sh/setup-uv@v5
+        uses: astral-sh/setup-uv@v6
         with:
-          version: 0.7.2
+          version: ${{ steps.uv_release.outputs.uv_version }}
       - name: 'Run unit tests'
         run: make test-unit
 

.github/workflows/update-version.yml

@@ -19,11 +19,20 @@ jobs:
         with:
           token: ${{ secrets.JENKINS_GITHUB_PAT }}
           submodules: true
-      - name: 'Install uv'
+      - name: 'Sync uv version with mir-semantics'
+        run: |
+          KMIR_VERSION=$(cat deps/kmir_release)
+          curl -sf https://raw.githubusercontent.com/runtimeverification/mir-semantics/v${KMIR_VERSION}/deps/uv_release > deps/uv_release
+          git add deps/uv_release
+          git commit -m "Sync uv version with mir-semantics v${KMIR_VERSION}" || true
+      - name: 'Get uv release'
+        id: uv_release
         run: |
-          curl -LsSf https://astral.sh/uv/install.sh | sh
-          echo ${HOME}/.local/bin >> $GITHUB_PATH
-          uv --version
+          echo uv_version=$(cat deps/uv_release) >> "${GITHUB_OUTPUT}"
+      - name: 'Install uv'
+        uses: astral-sh/setup-uv@v6
+        with:
+          version: ${{ steps.uv_release.outputs.uv_version }}
       - name: 'Update kmir release tag'
         run: |
           KMIR_VERSION=$(cat ./deps/kmir_release)

deps/uv_release

@@ -0,0 +1 @@
+0.9.28

package/version

@@ -1 +1 @@
-0.1.26
+0.1.27

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kompass"
-version = "0.1.26"
+version = "0.1.27"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [