From 25b9a7e57d7bf2cde5d59d071347464ed180ab5e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 24 Nov 2025 05:24:29 +0000 Subject: [PATCH] Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [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/v5...v6) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/lean_action_ci.yml | 2 +- .github/workflows/release.yml | 2 +- .github/workflows/update.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml index ef36045..d234c3c 100644 --- a/.github/workflows/lean_action_ci.yml +++ b/.github/workflows/lean_action_ci.yml @@ -10,7 +10,7 @@ jobs: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 - uses: leanprover/lean-action@v1 with: lake-package-directory: "src" \ No newline at end of file diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 6280758..12dfdc0 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -18,7 +18,7 @@ jobs: steps: # 1. Checkout the repo - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6 # 2. Build - name: Build diff --git a/.github/workflows/update.yml b/.github/workflows/update.yml index dae858d..bfb9e93 100644 --- a/.github/workflows/update.yml +++ b/.github/workflows/update.yml @@ -10,7 +10,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout code - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Update Lean project uses: leanprover-community/lean-update@main