From 2c74cc1238998eab278c45a6389876e37aab2b68 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 1 Sep 2026 23:38:06 +0000 Subject: [PATCH] build(deps): 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/v1.5.0...v1.6.0) --- 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/ci.yml | 2 +- .github/workflows/docs.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d85bed5..ba3fb45 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -71,7 +71,7 @@ jobs: python-version: "3.12" - name: Set up Lean environment - uses: leanprover/lean-action@v1.5.0 + uses: leanprover/lean-action@v1.6.0 with: auto-config: false build: false diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index aaf4f84..684d6ec 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -31,7 +31,7 @@ jobs: ${{ runner.os }}-lean-docs- - name: Build the project - uses: leanprover/lean-action@v1.5.0 + uses: leanprover/lean-action@v1.6.0 with: lint: false use-github-cache: false