From dada660c53218c7509998f21c9965189e60c2e20 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sun, 9 Aug 2026 23:53:25 +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/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0b08b6a..0bf9b22 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -21,7 +21,7 @@ jobs: uses: strata-org/Strata/.github/actions/install-cvc5@main - name: Install z3 uses: strata-org/Strata/.github/actions/install-z3@main - - uses: actions/setup-python@v6 + - uses: actions/setup-python@v7 with: python-version: '3.14' - name: Restore lake cache @@ -71,7 +71,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 @@ -138,7 +138,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