From 251378e0c184b60fe8cd7081148e54e2f5940838 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 1 Jul 2026 09:26:00 +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 060763f..453ea11 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) Run pre-commit (all files) # WHY: Single source of truth for locally runnable quality gates. @@ -65,5 +65,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 2947fd8..687fdaf 100644 --- a/.github/workflows/links.yml +++ b/.github/workflows/links.yml @@ -28,7 +28,7 @@ jobs: steps: - name: 1) Checkout repository code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: 2) Check links with Lychee uses: lycheeverse/lychee-action@v2