From 7a6749e5be493013ec1206840bb1160a3107b773 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sun, 1 Nov 2026 17:40:06 +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/24581d74d674803a25a81b10b059c5c0cdd344c6...fe408643ea7367d8c0404a8be3975bb145f5fb64) --- 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/lean.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml index 0368388..87c3cd1 100644 --- a/.github/workflows/lean.yml +++ b/.github/workflows/lean.yml @@ -37,7 +37,7 @@ jobs: # Installs elan + the toolchain from lean-toolchain, then runs `lake build`. # No test/lint targets and no Mathlib in this project, so those are off. - name: Build + verify Lean proofs - uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 # v1.6.2 + uses: leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64 # v1.7.0 with: lake-package-directory: academic/formal-verification/lean4 build: "true"