chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528)

dependabot[bot] · web-flow · commit a72ef0d59834 · 2026-01-19T18:31:49.000+01:00
Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.3.0 to 1.4.0. <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/leanprover/lean-action/releases">leanprover/lean-action's releases</a>.</em></p> <blockquote> <h2>v1.4.0</h2> <h2>Added</h2> <ul> <li>new <code>test-args</code> input to specify arguments to pass to <code>lake test</code></li> <li>fixed bug where elan installation failed but lean-action continued (<a href="https://redirect.github.com/leanprover/lean-action/issues/143">#143</a>)</li> </ul> </blockquote> </details> <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> <h2>v1.4.0 - 2026-01-15</h2> <h3>Added</h3> <ul> <li>new <code>test-args</code> input to specify arguments to pass to <code>lake test</code></li> <li>fixed bug where elan installation failed but lean-action continued (<a href="https://redirect.github.com/leanprover/lean-action/issues/143">#143</a>)</li> </ul> <h2>v1.3.0 - 2025-07-24</h2> <h3>Added</h3> <ul> <li>Add a step to check all files in the default target's directory are imported in the main file by running <code>lake exe mk_all --check</code>. -</li> <li>Add <code>mk_all-check</code> input to enable the mk_all step and <code>mk_all-status</code> to use the result.</li> </ul> <h2>v1.2.0 - 2025-05-16</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>  </blockquote> <p>... (truncated)</p> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/leanprover/lean-action/commit/c544e89643240c6b398f14a431bcdc6309e36b3e"><code>c544e89</code></a> fix: fail lean-action if any command in <code>install_elan.sh</code> fails (<a href="https://redirect.github.com/leanprover/lean-action/issues/143">#143</a>)</li> <li><a href="https://github.com/leanprover/lean-action/commit/1c29a263deb4002941481e6ae8949c7f03b68128"><code>1c29a26</code></a> chore: udpate functional test version to 4.26 (<a href="https://redirect.github.com/leanprover/lean-action/issues/142">#142</a>)</li> <li><a href="https://github.com/leanprover/lean-action/commit/256a31ca587b88ae5670167730c40cdead9546ca"><code>256a31c</code></a> chore(deps): bump actions/checkout from 4 to 5 (<a href="https://redirect.github.com/leanprover/lean-action/issues/136">#136</a>)</li> <li><a href="https://github.com/leanprover/lean-action/commit/2b2240f5edb0e3895334a026647cb1e30a992518"><code>2b2240f</code></a> feat: add a test-args configuration input (<a href="https://redirect.github.com/leanprover/lean-action/issues/135">#135</a>)</li> <li><a href="https://github.com/leanprover/lean-action/commit/43c33094469a6d3cd7c4916c8199a99d21286dbc"><code>43c3309</code></a> chore: update functional test version to Lean v4.21.0 (<a href="https://redirect.github.com/leanprover/lean-action/issues/133">#133</a>)</li> <li><a href="https://github.com/leanprover/lean-action/commit/3abf429738061ef00a8510614496db5a8d5af96b"><code>3abf429</code></a> doc: update CHANGELOG.md for v1.3.0 (<a href="https://redirect.github.com/leanprover/lean-action/issues/132">#132</a>)</li> <li>See full diff in <a href="https://github.com/leanprover/lean-action/compare/434f25c2f80ded67bba02502ad3a86f25db50709...c544e89643240c6b398f14a431bcdc6309e36b3e">compare view</a></li> </ul> </details> <br /> [![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=leanprover/lean-action&package-manager=github_actions&previous-version=1.3.0&new-version=1.4.0)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) 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) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself) </details> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -40,7 +40,7 @@ jobs:
           fetch-depth: 1
 
       - name: Build and lint project
-        uses: leanprover/lean-action@434f25c2f80ded67bba02502ad3a86f25db50709 # 2025-07-02
+        uses: leanprover/lean-action@c544e89643240c6b398f14a431bcdc6309e36b3e # 2025-07-02
         with:
           build: true
           lint: true
