From c14605737cf9f76e46b8a25b79410290e5504fac Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sun, 1 Nov 2026 04:22:45 +0000 Subject: [PATCH] Bump leanprover/lean-action from 1.6.0 to 1.7.0 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.6.0 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/50fcf42d2e460296f1a34b402e990d1b24f8b596...fe408643ea7367d8c0404a8be3975bb145f5fb64) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.7.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/blueprint.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index efb7299..95d43de 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -42,7 +42,7 @@ jobs: - name: Build and lint the project. id: build-lean - uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596 # v1.6.0 + uses: leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64 # v1.7.0 - name: Cleanup to free disk space uses: jlumbroso/free-disk-space@main