From f6846441684c6a1f9c5bb985914b6fac4c7e0627 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 3 Nov 2026 17:35:51 +0000 Subject: [PATCH] chore(deps): bump leanprover/lean-action Bumps the actions group with 1 update: [leanprover/lean-action](https://github.com/leanprover/lean-action). Updates `leanprover/lean-action` from 1.6.2 to 1.7.0 - [Release notes](https://github.com/leanprover/lean-action/releases) - [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/leanprover/lean-action/compare/v1.6.2...v1.7.0) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.7.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: actions ... Signed-off-by: dependabot[bot] --- .github/workflows/actions.lock | 8 ++++---- .github/workflows/ci.yml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock index 6f6682a..ca24705 100644 --- a/.github/workflows/actions.lock +++ b/.github/workflows/actions.lock @@ -5,7 +5,7 @@ version: 'v0.0.3' workflows: '.github/workflows/ci.yml': - 'actions/checkout@v7.0.1' - - 'leanprover/lean-action@v1.6.2' + - 'leanprover/lean-action@v1.7.0' '.github/workflows/codeql.yml': - 'actions/checkout@v7.0.1' - 'github/codeql-action@v4.39.1' @@ -48,9 +48,9 @@ dependencies: commit: 'sha1-9b3254085494b55a0f7c4c2b3d2d52cc712ce370' owner_id: 9919 repo_id: 259445878 - 'leanprover/lean-action@v1.6.2': - ref: 'v1.6.2' - commit: 'sha1-24581d74d674803a25a81b10b059c5c0cdd344c6' + 'leanprover/lean-action@v1.7.0': + ref: 'v1.7.0' + commit: 'sha1-fe408643ea7367d8c0404a8be3975bb145f5fb64' owner_id: 7233018 repo_id: 795738301 uses: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 10e691d..f433b08 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -17,6 +17,6 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v7.0.1 - - uses: leanprover/lean-action@v1.6.2 + - uses: leanprover/lean-action@v1.7.0 - name: No sorries run: "! grep -rn 'sorry' Marches/ Marches.lean"