Make uv2nix and pyproject-build-systems updatable by CI (#1028)

* make uv2nix and pyproject-build-systems updatable by CI

* install uv from flake in workflows and print version

* run update-version on `uv2nix` and `pyproject-build-systems` updates

---------

Co-authored-by: automergerpr-permission-manager[bot] <190534181+automergerpr-permission-manager[bot]@users.noreply.github.com>

Author: juliankuners

.github/workflows/test-pr.yml

@@ -15,10 +15,18 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Install uv'
-        uses: astral-sh/setup-uv@v5
+      - name: 'Install Nix'
+        uses: cachix/[email protected]
         with:
-          version: 0.7.2
+          install_url: https://releases.nixos.org/nix/nix-2.24.12/install
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://cache.iog.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+      # note: we install uv from the nix flake in order to match the uv version that is used by uv2nix
+      - name: 'Install uv'
+        run: |
+          nix profile install .#uv
+          uv --version
       - name: 'Run code quality checks'
         run: make check
       - name: 'Run pyupgrade'
@@ -31,10 +39,18 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Install uv'
-        uses: astral-sh/setup-uv@v5
+      - name: 'Install Nix'
+        uses: cachix/[email protected]
         with:
-          version: 0.7.2
+          install_url: https://releases.nixos.org/nix/nix-2.24.12/install
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://cache.iog.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+      # note: we install uv from the nix flake in order to match the uv version that is used by uv2nix
+      - name: 'Install uv'
+        run: |
+          nix profile install .#uv
+          uv --version
       - name: 'Run unit tests'
         run: make cov-unit
 

.github/workflows/update-version.yml

@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - '_update-deps/runtimeverification/evm-semantics'
+      - '_update-deps-cron/uv2nix'
+      - '_update-deps-cron/pyproject-build-systems'
   workflow_dispatch:
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency:
@@ -25,10 +27,18 @@ jobs:
         run: |
           git config user.name devops
           git config user.email [email protected]
-      - name: 'Install uv'
-        uses: astral-sh/setup-uv@v5
+      - name: 'Install Nix'
+        uses: cachix/[email protected]
         with:
-          version: 0.7.2
+          install_url: https://releases.nixos.org/nix/nix-2.24.12/install
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://cache.iog.io
+            trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=
+      # note: we install uv from the nix flake in order to match the uv version that is used by uv2nix
+      - name: 'Install uv'
+        run: |
+          nix profile install .#uv
+          uv --version
       - name: 'Update kevm-pyk release tag'
         run: |
           KEVM_VERSION="$(cat deps/kevm_release)"
@@ -53,7 +63,11 @@ jobs:
       - name: 'Update Nix flake inputs'
         run: |
           KEVM_VERSION=$(cat deps/kevm_release)
+          UV2NIX_VERSION=$(cat deps/uv2nix)
+          PYPROJECT_BUILD_SYSTEMS_VERSION=$(cat deps/pyproject-build-systems)
           sed -i 's!    kevm.url = "github:runtimeverification/evm-semantics/[v0-9\.]*"!    kevm.url = "github:runtimeverification/evm-semantics/v'"${KEVM_VERSION}"'"!' flake.nix
+          sed -i 's!    uv2nix.url = "github:pyproject-nix/uv2nix/[a-z0-9\.]*"!    uv2nix.url = "github:pyproject-nix/uv2nix/'"${UV2NIX_VERSION}"'"!' flake.nix
+          sed -i 's!    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/[a-z0-9\.]*"!    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/'"${PYPROJECT_BUILD_SYSTEMS_VERSION}"'"!' flake.nix
           nix flake update
           git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true
       - name: 'Push updates'

deps/pyproject-build-systems

@@ -0,0 +1 @@
+7dba6dbc73120e15b558754c26024f6c93015dd7

deps/uv2nix

@@ -0,0 +1 @@
+680e2f8e637bc79b84268949d2f2b2f5e5f1d81c

flake.nix

@@ -18,17 +18,14 @@
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";
     };
-    uv2nix = {
-      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.nixpkgs.follows = "nixpkgs";
-      # uv2nix already makes their input flakes follow their nixpkgs
-    };
+    uv2nix.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
+    uv2nix.inputs.nixpkgs.url = "github:runtimeverification/nixpkgs/libmatch";
+    # inputs.nixpkgs.follows = "nixpkgs";
+    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/7dba6dbc73120e15b558754c26024f6c93015dd7";
     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";
@@ -137,6 +134,7 @@
       };
       packages = rec {
         kontrol = pkgs.kontrol;
+        uv = pkgs.uv;
         default = kontrol;
       };
     }) // {