From f9e1eb0cd853eb083d151685c091cf44414ad4eb Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sun, 30 Aug 2026 17:23:02 +0000 Subject: [PATCH] Bump leanprover/lean-action from 1.5.0 to 1.6.0 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.5.0 to 1.6.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/38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9...50fcf42d2e460296f1a34b402e990d1b24f8b596) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.6.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/build-project.yml | 2 +- .github/workflows/ci.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml index 54bad26..944de44 100644 --- a/.github/workflows/build-project.yml +++ b/.github/workflows/build-project.yml @@ -43,7 +43,7 @@ jobs: fetch-depth: 0 # Fetch all history for all branches and tags - name: Install and configure Lean, and get mathlib cache - uses: leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9 # v1.5.0 + uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596 # v1.6.0 with: auto-config: false use-github-cache: false diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index be18823..cc028a0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -55,7 +55,7 @@ jobs: Lake-${{ runner.os }}-${{ hashFiles('lake-manifest.json') }}- - name: Install Lean - uses: leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9 # v1.5.0 + uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596 # v1.6.0 with: auto-config: false use-github-cache: false