Update UV to 0.7.2 in github workflow and update uv.lock file (#547)

Co-authored-by: devops <devops@runtimeverification.com>

Author: jberthold

.github/workflows/Dockerfile

@@ -22,4 +22,4 @@ RUN mkdir /home/${USER}/workspace
 WORKDIR /home/${USER}/workspace
 
 ENV PATH=/home/${USER}/.local/bin:${PATH}
-RUN curl -LsSf https://astral.sh/uv/install.sh | sh && uv --version
+RUN curl -LsSf https://astral.sh/uv/0.7.2/install.sh  | sh && uv --version

.github/workflows/test.yml

@@ -40,6 +40,8 @@ jobs:
         uses: actions/checkout@v4
       - name: 'Install uv'
         uses: astral-sh/setup-uv@v5
+        with:
+          version: 0.7.2
       - name: 'Run code quality checks'
         run: make check
 
@@ -52,6 +54,8 @@ jobs:
         uses: actions/checkout@v4
       - name: 'Install uv'
         uses: astral-sh/setup-uv@v5
+        with:
+          version: 0.7.2
       - name: 'Run unit tests'
         run: make test-unit
 

kmir/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kmir"
-version = "0.3.132"
+version = "0.3.133"
 description = ""
 requires-python = "~=3.10"
 dependencies = [

kmir/src/kmir/__init__.py

@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.3.132'
+VERSION: Final = '0.3.133'

kmir/uv.lock

@@ -1 +1 @@
-0.3.132
+0.3.133