From c8d48f86c9321d46573d2e62e6c221710e48f341 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 19 Jan 2026 22:50:19 +0000 Subject: [PATCH] Bump leanprover/lean-action from 1.3.0 to 1.4.0 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.3.0 to 1.4.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/434f25c2f80ded67bba02502ad3a86f25db50709...c544e89643240c6b398f14a431bcdc6309e36b3e) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.4.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/build-project.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml index 450a772..341815f 100644 --- a/.github/workflows/build-project.yml +++ b/.github/workflows/build-project.yml @@ -41,7 +41,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@434f25c2f80ded67bba02502ad3a86f25db50709 # v1.3.0 + uses: leanprover/lean-action@c544e89643240c6b398f14a431bcdc6309e36b3e # v1.4.0 with: auto-config: false use-github-cache: false