From 2894a28d4eb0cc2d8e3d3461827b08ad0aeac82e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 1 Jul 2026 14:07:56 +0000 Subject: [PATCH] ci(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.yml | 2 +- .github/workflows/links.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3b7990a..f2eab48 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,5 +12,5 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v6 # OBS: v6 current as of Dec 2025 + - uses: actions/checkout@v7 # OBS: v6 current as of Dec 2025 - uses: leanprover/lean-action@v1 diff --git a/.github/workflows/links.yml b/.github/workflows/links.yml index 15435e9..e0ac6b7 100644 --- a/.github/workflows/links.yml +++ b/.github/workflows/links.yml @@ -32,7 +32,7 @@ jobs: pull-requests: write steps: - - uses: actions/checkout@v6 # OBS: v6 current as of Dec 2025 + - uses: actions/checkout@v7 # OBS: v6 current as of Dec 2025 # WHY: Check all documentation and config files for broken links - name: Check links with Lychee