From 559951ca25733d37595816bff5c7e89190b0b003 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 1 Jul 2026 17:46:42 +0000 Subject: [PATCH] (deps): Bump actions/checkout from 6 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 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/v6...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-lean.yml | 4 ++-- .github/workflows/links.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci-lean.yml b/.github/workflows/ci-lean.yml index d1f3a69..5fb48ca 100644 --- a/.github/workflows/ci-lean.yml +++ b/.github/workflows/ci-lean.yml @@ -38,7 +38,7 @@ jobs: - name: A1) Checkout repository code # WHY: Needed to access files for checks. - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: A2) Install uv # WHY: The E2) se-validate-manifest pre-commit hook shells out to `uvx`, @@ -66,5 +66,5 @@ jobs: # BUILD: Get code and build Lean project # ============================================================ - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 - uses: leanprover/lean-action@v1 diff --git a/.github/workflows/links.yml b/.github/workflows/links.yml index e5966fd..ee5bd2a 100644 --- a/.github/workflows/links.yml +++ b/.github/workflows/links.yml @@ -37,7 +37,7 @@ jobs: steps: - name: 1) Checkout repository code - uses: actions/checkout@v6 + uses: actions/checkout@v7 # WHY: Required so Lychee can inspect repository files. - name: 2) Run Lychee