From 8565aeca9b4c06534bf0c478df58dfce7dee9c7d Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 21 Jul 2026 08:24:08 +0000 Subject: [PATCH] Bump actions/setup-python from 6 to 7 Bumps [actions/setup-python](https://github.com/actions/setup-python) from 6 to 7. - [Release notes](https://github.com/actions/setup-python/releases) - [Commits](https://github.com/actions/setup-python/compare/v6...v7) --- updated-dependencies: - dependency-name: actions/setup-python dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/cbmc.yml | 2 +- .github/workflows/ci.yml | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/cbmc.yml b/.github/workflows/cbmc.yml index cc2ed49..91f2bfe 100644 --- a/.github/workflows/cbmc.yml +++ b/.github/workflows/cbmc.yml @@ -62,7 +62,7 @@ jobs: auto-config: false build: true use-github-cache: false - - uses: actions/setup-python@v6 + - uses: actions/setup-python@v7 with: python-version: '3.14' - name: Run Python CBMC pipeline tests diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index be5ce80..f4cc26f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -38,7 +38,7 @@ jobs: build-args: StrataPython StrataPythonTest use-github-cache: false test: false - - uses: actions/setup-python@v6 + - uses: actions/setup-python@v7 with: python-version: '3.14' - name: Build using pip @@ -75,7 +75,7 @@ jobs: contents: read steps: - uses: actions/checkout@v6 - - uses: actions/setup-python@v6 + - uses: actions/setup-python@v7 with: python-version: '3.14' - name: Restore Lean build cache @@ -143,7 +143,7 @@ jobs: python_version: [3.11, 3.12, 3.13, 3.14] steps: - uses: actions/checkout@v6 - - uses: actions/setup-python@v6 + - uses: actions/setup-python@v7 with: python-version: ${{ matrix.python_version }} - name: Restore Lean build cache