From bfc2f5ed51da284c74c794d413977e11d86e906c Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 29 Nov 2024 14:06:34 +0000 Subject: [PATCH] Bump leanprover/lean-action from 1.pre.beta to 1.1.1 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.pre.beta to 1.1.1. - [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-beta...v1.1.1) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d3c1825..25ae5c8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -22,7 +22,7 @@ jobs: uses: actions/checkout@v4 - name: lean action - uses: leanprover/lean-action@v1-beta + uses: leanprover/lean-action@v1.1.1 with: test: false build-args: "--quiet" \ No newline at end of file