From a27803a961cac2155e0c15789dab739393b9a9bc Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 5 Oct 2026 12:20:49 +0000
Subject: [PATCH] chore(ci): bump the github-actions group with 2 updates

Bumps the github-actions group with 2 updates: [taiki-e/install-action](https://github.com/taiki-e/install-action) and [leanprover/lean-action](https://github.com/leanprover/lean-action).


Updates `taiki-e/install-action` from 2.87.15 to 2.87.22
- [Release notes](https://github.com/taiki-e/install-action/releases)
- [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/taiki-e/install-action/compare/v2.87.15...83ac0ad63c0167e6f06796fab0fce28db1bf3db0)

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: taiki-e/install-action
  dependency-version: 2.87.22
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: github-actions
- dependency-name: leanprover/lean-action
  dependency-version: 1.6.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: github-actions
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/ci.yml      | 6 +++---
 .github/workflows/release.yml | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e876d6c5f..fe0f24c5a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -108,7 +108,7 @@ jobs:
       - name: install git-cliff
         if: ${{ needs.changes.result != 'success' || needs.changes.outputs.all == 'true' || needs.changes.outputs.release == 'true' }}
         # taiki-e/install-action@v2; same generator as the tag workflow.
-        uses: taiki-e/install-action@9983c65e42da123ff25d1f78505eb6de315aa172
+        uses: taiki-e/install-action@83ac0ad63c0167e6f06796fab0fce28db1bf3db0
         with:
           tool: git-cliff@2.13.1
       - name: release-note configuration
@@ -136,7 +136,7 @@ jobs:
       - name: set up Lean/Lake
         if: ${{ needs.changes.result != 'success' || needs.changes.outputs.all == 'true' || needs.changes.outputs.lean == 'true' }}
         # leanprover/lean-action@v1
-        uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596
+        uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865
         with:
           lake-package-directory: docs/lean
           build: false
@@ -308,7 +308,7 @@ jobs:
             --versioning-configuration Status=Enabled
       - name: install nextest
         # taiki-e/install-action@nextest
-        uses: taiki-e/install-action@4076c08d76dba979c11a7285295b0716c1d67908
+        uses: taiki-e/install-action@83ac0ad63c0167e6f06796fab0fce28db1bf3db0
       # One feature set, one build. Every feature-gated target (the REST
       # surface and mounted REST/OIDC e2e, the Fact-outbox host lane and
       # publisher supervision, the durable-intake example) compiles into this
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 7ef54f1d6..665e02486 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -79,7 +79,7 @@ jobs:
       - name: install git-cliff
         if: ${{ steps.target.outputs.skip == 'false' }}
         # taiki-e/install-action@v2
-        uses: taiki-e/install-action@9983c65e42da123ff25d1f78505eb6de315aa172
+        uses: taiki-e/install-action@83ac0ad63c0167e6f06796fab0fce28db1bf3db0
         with:
           tool: git-cliff@2.13.1
       - name: generate release notes