install uv in CI without nix

Author: juliankuners

.github/workflows/test-pr.yml

@@ -15,18 +15,12 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Install Nix'
-        uses: cachix/[email protected]
-        with:
-          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
+      # note: we install the same version of `uv` as used by `uv2nix` in order to match the nix derivation
       - name: 'Install uv'
         run: |
-          nix profile install .#uv
-          uv --version
+          UV_VERSION=$(curl -s https://raw.githubusercontent.com/pyproject-nix/uv2nix/$(cat deps/uv2nix)/pkgs/uv-bin/srcs.json | jq -r .version)
+          [[ "$UV_VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]
+          curl -LsSf https://astral.sh/uv/$UV_VERSION/install.sh | sh && uv --version
       - name: 'Run code quality checks'
         run: make check
       - name: 'Run pyupgrade'
@@ -39,18 +33,12 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Install Nix'
-        uses: cachix/[email protected]
-        with:
-          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
+      # note: we install the same version of `uv` as used by `uv2nix` in order to match the nix derivation
       - name: 'Install uv'
         run: |
-          nix profile install .#uv
-          uv --version
+          UV_VERSION=$(curl -s https://raw.githubusercontent.com/pyproject-nix/uv2nix/$(cat deps/uv2nix)/pkgs/uv-bin/srcs.json | jq -r .version)
+          [[ "$UV_VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]
+          curl -LsSf https://astral.sh/uv/$UV_VERSION/install.sh | sh && uv --version
       - name: 'Run unit tests'
         run: make cov-unit
 

.github/workflows/update-version.yml

@@ -39,11 +39,12 @@ jobs:
         with:
           name: k-framework
           authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
-      # note: we install uv from the nix flake in order to match the uv version that is used by uv2nix
+      # note: we install the same version of `uv` as used by `uv2nix` in order to match the nix derivation
       - name: 'Install uv'
         run: |
-          nix profile install .#uv
-          uv --version
+          UV_VERSION=$(curl -s https://raw.githubusercontent.com/pyproject-nix/uv2nix/$(cat deps/uv2nix)/pkgs/uv-bin/srcs.json | jq -r .version)
+          [[ "$UV_VERSION" =~ ^[0-9]+\.[0-9]+\.[0-9]+$ ]]
+          curl -LsSf https://astral.sh/uv/$UV_VERSION/install.sh | sh && uv --version
       - name: 'Update kevm-pyk release tag'
         run: |
           KEVM_VERSION="$(cat deps/kevm_release)"