From 193cdda53bc1b4cac8afa2555efaab3c7d762aae Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 21 Jul 2026 14:58:58 +0000 Subject: [PATCH] Bump actions/checkout from 4 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 7. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v4...v7) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yml | 4 ++-- .github/workflows/shellcheck.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7c30506..cabb14e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -19,7 +19,7 @@ jobs: name: Current toolchain runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v7 - uses: leanprover/lean-action@v1 with: build-args: --wfail @@ -42,7 +42,7 @@ jobs: matrix: lean: [v4.29.1, v4.30.0, v4.31.0] steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v7 - name: Select compatibility toolchain run: echo "leanprover/lean4:${{ matrix.lean }}" > lean-toolchain - uses: leanprover/lean-action@v1 diff --git a/.github/workflows/shellcheck.yml b/.github/workflows/shellcheck.yml index b83ede6..1542330 100644 --- a/.github/workflows/shellcheck.yml +++ b/.github/workflows/shellcheck.yml @@ -15,7 +15,7 @@ jobs: shellcheck: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v7 with: sparse-checkout: scripts - name: Check shell scripts