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](leanprover/lean-action@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] <[email protected]>

.github/workflows/ci.yml

@@ -21,6 +21,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/[email protected].0
+        uses: leanprover/[email protected].1
         with:
           test: false