From 9910b204bd52488b6deb6be86d5ca37892f15e3c Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 21 Oct 2026 21:13:59 +0000 Subject: [PATCH] chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.2 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.5.0 to 1.6.2. - [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/38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9...24581d74d674803a25a81b10b059c5c0cdd344c6) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.6.2 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 2bbbd6f..8d107de 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -45,7 +45,7 @@ jobs: fetch-depth: 0 # Fetch all history for all branches and tags - name: Build the project - uses: leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9 # v1.5.0 + uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 # v1.6.2 with: use-github-cache: false build-args: :blueprint