From 7b36da4401e87638afca7ec329447328ee5d197e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 8 Oct 2026 15:19:24 +0000 Subject: [PATCH] ci: bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group Bumps the actions group with 1 update: [leanprover/lean-action](https://github.com/leanprover/lean-action). Updates `leanprover/lean-action` from 1.6.0 to 1.6.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/50fcf42d2e460296f1a34b402e990d1b24f8b596...f061402b660e0c34644504b324e830f2991d4865) --- updated-dependencies: - dependency-name: leanprover/lean-action dependency-version: 1.6.1 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: actions ... Signed-off-by: dependabot[bot] --- .github/workflows/ci-native-polyglot.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-native-polyglot.yml b/.github/workflows/ci-native-polyglot.yml index d3657789..a45c1183 100644 --- a/.github/workflows/ci-native-polyglot.yml +++ b/.github/workflows/ci-native-polyglot.yml @@ -131,7 +131,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 - - uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596 # v1.6.0 + - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 # v1.6.1 with: use-github-cache: true test: false