Install the same uv version in docker as used by uv2nix#1037

automergerpr-permission-manager[bot] merged 4 commits into

masterruntimeverification/kontrol:masterfrom

uv2nix-uv-version-in-dockerfileruntimeverification/kontrol:uv2nix-uv-version-in-dockerfileCopy head branch name to clipboard