From e7ed2db8f05c835a7d97bdd844aad50e3c4fee6a Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 22 Jul 2024 15:44:51 +0000 Subject: [PATCH] chore(deps): bump leanprover/lean-action from 1.pre.beta to 1.0.0 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.pre.beta to 1.0.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-beta...v1.0.0) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0a7b485b..97b2ec19 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -19,7 +19,7 @@ jobs: - uses: actions/checkout@v4 - - uses: leanprover/lean-action@v1-beta + - uses: leanprover/lean-action@v1.0.0 with: test: true use-mathlib-cache: false