From 1f81a3c93d3ccbb543af88ff98b0466e73e2695f Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 1 Oct 2026 07:45:52 +0000 Subject: [PATCH] Bump leanprover/lean-action Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 96e06131c0e9943c780388fd166f55d1e2fa0433 to f061402b660e0c34644504b324e830f2991d4865. - [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/96e06131c0e9943c780388fd166f55d1e2fa0433...f061402b660e0c34644504b324e830f2991d4865) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: f061402b660e0c34644504b324e830f2991d4865 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- .github/workflows/build-doc.yml | 2 +- .github/workflows/build-project.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml index 13974ed9f..d28efe23a 100644 --- a/.github/workflows/build-doc.yml +++ b/.github/workflows/build-doc.yml @@ -46,7 +46,7 @@ jobs: fetch-depth: 1 - name: Build project - uses: leanprover/lean-action@96e06131c0e9943c780388fd166f55d1e2fa0433 # 2026-01-15 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 # 2026-01-15 with: build: true lint: true diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml index 2829f2e2c..9ac197082 100644 --- a/.github/workflows/build-project.yml +++ b/.github/workflows/build-project.yml @@ -37,7 +37,7 @@ jobs: fetch-depth: 1 - name: Build project - uses: leanprover/lean-action@96e06131c0e9943c780388fd166f55d1e2fa0433 # 2026-01-15 + uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 # 2026-01-15 with: build: true lint: true