From 35fb98512e9b73965fe7870efb96ec3f7d324e06 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 12 Aug 2025 19:56:40 +0000 Subject: [PATCH] chore(deps): bump actions/checkout from 4 to 5 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. - [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...v5) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '5' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/copyright-header.yml | 2 +- .github/workflows/doc.yml | 2 +- .github/workflows/makefile.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/copyright-header.yml b/.github/workflows/copyright-header.yml index 1863a250..2b4e1536 100644 --- a/.github/workflows/copyright-header.yml +++ b/.github/workflows/copyright-header.yml @@ -6,7 +6,7 @@ jobs: check-lean-files: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - name: Verify .lean files start with a copyright header. run: | diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index d9220c7e..c53ba14d 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -17,7 +17,7 @@ jobs: steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - uses: leanprover/lean-action@v1.0.1 with: diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml index a9826fd6..ef5f42d4 100644 --- a/.github/workflows/makefile.yml +++ b/.github/workflows/makefile.yml @@ -20,7 +20,7 @@ jobs: steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - uses: leanprover/lean-action@v1 with: