From 3551478673a3db40df829a88f7e7f14b13988c0d Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 21 Aug 2024 08:43:29 +0000 Subject: [PATCH] Bump leanprover/lean-action from 1.0.0 to 1.0.1 Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.0.0 to 1.0.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.0.0...v1.0.1) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-type: direct:production update-type: version-update:semver-patch ... 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 1eceba6..6435fdb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -21,6 +21,6 @@ jobs: uses: actions/checkout@v4 - name: lean action - uses: leanprover/lean-action@v1.0.0 + uses: leanprover/lean-action@v1.0.1 with: test: false \ No newline at end of file