chore(deps): bump leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec in /.github/workflows (#24510)

Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec.
<details>
<summary>Changelog</summary>
<p><em>Sourced from <a href="https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md">leanprover/lean-action's changelog</a>.</em></p>
<blockquote>
<h1>Changelog</h1>
<p>All notable changes to <code>lean-action</code> will be documented in this file.</p>
<p>The format is based on <a href="https://keepachangelog.com/en/1.1.0/">Keep a Changelog</a>,
and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semantic Versioning</a>.</p>
<h2>Unreleased</h2>
<h3>Added</h3>
<ul>
<li>add option to always reinstall <code>lean4-pr-releases</code> toolchains, ensuring CI runs with the latest version</li>
</ul>
<h2>v1.1.2 - 2025-03-28</h2>
<h3>Fixed</h3>
<ul>
<li>include runner architecture in cache key to avoid reusing <code>.lake</code> across different runner architectures</li>
</ul>
<h2>v1.1.1 - 2024-11-23</h2>
<h3>Fixed</h3>
<ul>
<li>fix bug with passing multiple arguments to <code>lake build</code> via <code>build-args</code> input</li>
<li>fix false feature flag logic when using <code>auto-config: true</code></li>
</ul>
<h2>v1.1.0 - 2024-9-16</h2>
<h3>Added</h3>
<ul>
<li>Windows GitHub runner support</li>
</ul>
<h3>Fixed</h3>
<ul>
<li>replace <code>actions/cache</code> with <code>actions/cache/restore</code> to prevent redundant cache saving
previously caused by the combination of <code>actions/cache</code> and <code>actions/cache/save</code></li>
</ul>
<h2>v1.0.2 - 2024-8-26</h2>
<h3>Changed</h3>
<ul>
<li>use empty string as default value for status outputs instead of &quot;NOT_RUN&quot;
to avoid <code>set-output-parameters</code> final step breaking log group expansion</li>
</ul>
<h3>Fixed</h3>
<ul>
<li>correct typo of in configuration step: &quot;lake check-test failed&quot; -&gt; &quot;lake check-lint failed&quot;</li>
<li>fix log group expansion in failing steps due to <code>set-output-parameters</code> step
and removing the end log group command when a step fails</li>
</ul>
<!-- raw HTML omitted -->
</blockquote>
<p>... (truncated)</p>
</details>
<details>
<summary>Commits</summary>
<ul>
<li><a href="https://github.com/leanprover/lean-action/commit/f807b338d95de7813c5c50d018f1c23c9b93b4ec"><code>f807b33</code></a> Clarify and fix typo in changelog (<a href="https://redirect.github.com/leanprover/lean-action/issues/123">#123</a>)</li>
<li>See full diff in <a href="https://github.com/leanprover/lean-action/compare/e18f2df7f0d4f30d11a4b963bff9b1140999480c...f807b338d95de7813c5c50d018f1c23c9b93b4ec">compare view</a></li>
</ul>
</details>
<br />


Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`.

[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)



Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author: dependabot[bot]

.github/workflows/add_label_from_diff.yaml

@@ -25,7 +25,7 @@ jobs:
         with:
           fetch-depth: 0
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/bench_summary_comment.yml

@@ -17,7 +17,7 @@ jobs:
             scripts/bench_summary.lean
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/bors.yml

@@ -67,7 +67,7 @@ jobs:
           python-version: 3.8
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false
@@ -111,7 +111,7 @@ jobs:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/bot_fix_style.yaml

@@ -117,7 +117,7 @@ jobs:
           python-version: 3.8
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/build.yml

@@ -74,7 +74,7 @@ jobs:
           python-version: 3.8
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false
@@ -118,7 +118,7 @@ jobs:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/build_fork.yml

@@ -71,7 +71,7 @@ jobs:
           python-version: 3.8
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false
@@ -115,7 +115,7 @@ jobs:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/daily.yml

@@ -56,7 +56,7 @@ jobs:
           ref: ${{ env.BRANCH_REF }}
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false

.github/workflows/discover-lean-pr-testing.yml

@@ -25,7 +25,7 @@ jobs:
         git config --global user.email "github-actions@github.com"
 
     - name: Configure Lean
-      uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+      uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
       with:
         auto-config: false
         use-github-cache: false

.github/workflows/latest_import.yml

@@ -28,7 +28,7 @@ jobs:
     - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
     - name: Configure Lean
-      uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+      uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
       with:
         auto-config: false
         use-github-cache: false

.github/workflows/lint_and_suggest_pr.yml

@@ -22,7 +22,7 @@ jobs:
           python-version: 3.8
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false
@@ -66,7 +66,7 @@ jobs:
       - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: Configure Lean
-        uses: leanprover/lean-action@e18f2df7f0d4f30d11a4b963bff9b1140999480c # 2025-04-22
+        uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # 2025-04-24
         with:
           auto-config: false
           use-github-cache: false