Pin uv version in CI to 0.7.2 (#1023)

* Pin uv version to 0.6.17 in CI workflows

* Fix `uv` to 0.7.2 in CI, format workflow files

* Sync uv files: kevm-pyk version 1.0.814

* flake.{nix,lock}: update Nix derivations

* Cleanup, remove `env`

* Code quality fix

* fix revision of `pyproject-build-systems` and `uv2nix` in `flake.nix`

* Minor comment cleanup in `flake.nix`

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Julian Kuners <[email protected]>

Author: 3 people

.github/workflows/Dockerfile

@@ -50,8 +50,7 @@ WORKDIR /home/${USER}/workspace
 
 ENV PATH=/home/${USER}/.cargo/bin:/home/${USER}/.local/bin:/usr/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
 
 RUN    cargo install svm-rs --version 0.3.0 --locked \
     && svm install 0.8.13                            \

.github/workflows/test-pr.yml

@@ -17,6 +17,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
       - name: 'Run pyupgrade'
@@ -31,6 +33,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 cov-unit
 

.github/workflows/update-version.yml

@@ -11,7 +11,6 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-
   update-versions:
     name: 'Update Dependency Versions'
     runs-on: ubuntu-latest
@@ -28,6 +27,8 @@ jobs:
           git config user.email [email protected]
       - name: 'Install uv'
         uses: astral-sh/setup-uv@v5
+        with:
+          version: 0.7.2
       - name: 'Update kevm-pyk release tag'
         run: |
           KEVM_VERSION="$(cat deps/kevm_release)"

flake.lock

@@ -18,27 +18,22 @@
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";
     };
-    pyproject-nix = {
-      url = "github:pyproject-nix/pyproject.nix";
-      inputs.nixpkgs.follows = "uv2nix/nixpkgs";
-      # inputs.uv2nix.follows = "nixpkgs";
-    };
-    pyproject-build-systems = {
-      url = "github:pyproject-nix/build-system-pkgs";
-      inputs.pyproject-nix.follows = "pyproject-nix";
-      inputs.uv2nix.follows = "uv2nix";
-      inputs.nixpkgs.follows = "uv2nix/nixpkgs";
-      # inputs.uv2nix.follows = "nixpkgs";
-    };
     uv2nix = {
-      url = "github:pyproject-nix/uv2nix";
-      inputs.pyproject-nix.follows = "pyproject-nix";
+      url = "github:pyproject-nix/uv2nix/680e2f8e637bc79b84268949d2f2b2f5e5f1d81c"; #
       # stale nixpkgs is missing the alias `lib.match` -> `builtins.match`
       # therefore point uv2nix to a patched nixpkgs, which introduces this alias
       # this is a temporary solution until nixpkgs us up-to-date again
       inputs.nixpkgs.url = "github:runtimeverification/nixpkgs/libmatch";
-      # inputs.uv2nix.follows = "nixpkgs";
+      # inputs.nixpkgs.follows = "nixpkgs";
+      # uv2nix already makes their input flakes follow their nixpkgs
+    };
+    pyproject-build-systems = {
+      url = "github:pyproject-nix/build-system-pkgs/7dba6dbc73120e15b558754c26024f6c93015dd7";
+      inputs.nixpkgs.follows = "uv2nix/nixpkgs";
+      inputs.uv2nix.follows = "uv2nix";
+      inputs.pyproject-nix.follows = "uv2nix/pyproject-nix";
     };
+    pyproject-nix.follows = "uv2nix/pyproject-nix";
   };
   outputs = {
       self,

flake.nix

@@ -499,7 +499,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 )
 
             def update_status_bar(test_id: str, result: Any) -> None:
-                nonlocal done_tests, failed_tests, passed_tests, progress
+                nonlocal done_tests, failed_tests, passed_tests
                 if not display_status_bar or progress is None:
                     return
                 done_tests += 1