From 5efab31028b84631afa8ccfa6eebbbd4891cbfcd Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 29 Oct 2026 00:45:23 +0000 Subject: [PATCH] Bump the github-actions group with 2 updates Bumps the github-actions group with 2 updates: [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) and [actions/setup-python](https://github.com/actions/setup-python). Updates `astral-sh/setup-uv` from 10.3.0 to 10.3.2 - [Release notes](https://github.com/astral-sh/setup-uv/releases) - [Commits](https://github.com/astral-sh/setup-uv/compare/v10.3.0...v10.3.2) Updates `actions/setup-python` from 7.0.0 to 7.1.0 - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/5fda3b95a4ea91299a34e894583c3862153e4b97...6d4fd22b20465ccc0f7354476588e8df7c9ca0e0) --- updated-dependencies: - dependency-name: astral-sh/setup-uv dependency-version: 10.3.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: github-actions - dependency-name: actions/setup-python dependency-version: 7.1.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: github-actions ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yml | 16 ++++++++-------- .github/workflows/lean-latest-compile.yml | 2 +- .github/workflows/lean-latest.yml | 2 +- .github/workflows/source-pair-qualification.yml | 4 ++-- 4 files changed, 12 insertions(+), 12 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 115761a3..87db7430 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -71,7 +71,7 @@ jobs: - uses: actions/checkout@v7 with: fetch-depth: 0 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" - id: classify @@ -134,7 +134,7 @@ jobs: timeout-minutes: 20 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true @@ -177,7 +177,7 @@ jobs: timeout-minutes: 30 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true @@ -206,7 +206,7 @@ jobs: # The installed transition test builds the exact pre-cutover source. # Keep that immutable baseline available on successor commits. fetch-depth: 0 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true @@ -410,7 +410,7 @@ jobs: timeout-minutes: 30 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true @@ -448,7 +448,7 @@ jobs: timeout-minutes: 20 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true @@ -533,7 +533,7 @@ jobs: timeout-minutes: 150 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true @@ -1091,7 +1091,7 @@ jobs: timeout-minutes: 180 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true diff --git a/.github/workflows/lean-latest-compile.yml b/.github/workflows/lean-latest-compile.yml index 117c0b86..5960d2e4 100644 --- a/.github/workflows/lean-latest-compile.yml +++ b/.github/workflows/lean-latest-compile.yml @@ -33,7 +33,7 @@ jobs: SCRATCH: ${{ github.workspace }}/.scratch-lean-latest steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true diff --git a/.github/workflows/lean-latest.yml b/.github/workflows/lean-latest.yml index 8cbe8c48..d26d0926 100644 --- a/.github/workflows/lean-latest.yml +++ b/.github/workflows/lean-latest.yml @@ -19,7 +19,7 @@ jobs: timeout-minutes: 15 steps: - uses: actions/checkout@v7 - - uses: astral-sh/setup-uv@v10.3.0 + - uses: astral-sh/setup-uv@v10.3.2 with: version: "0.13.0" enable-cache: true diff --git a/.github/workflows/source-pair-qualification.yml b/.github/workflows/source-pair-qualification.yml index ccf41638..502a81af 100644 --- a/.github/workflows/source-pair-qualification.yml +++ b/.github/workflows/source-pair-qualification.yml @@ -54,11 +54,11 @@ jobs: run: | test -f fep/src/fep_formal/__init__.py test -f fep/specs/gnn-bridge-q7-continuous-ou-proof/generate_probe.py - - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0 + - uses: actions/setup-python@6d4fd22b20465ccc0f7354476588e8df7c9ca0e0 # v7.1.0 with: python-version: "3.14" check-latest: true - - uses: astral-sh/setup-uv@1c37ad07a6a961277cf70c0d37d6f313000f5884 # v10.3.0 + - uses: astral-sh/setup-uv@07a047e608db84b3d8c06cd9a7c7dcc9c355c18e # v10.3.2 with: version: "0.13.0" enable-cache: true