Bump leanprover/lean-action from 1.pre.beta to 1.1.1

Bumps [leanprover/lean-action](https://github.com/leanprover/lean-action) from 1.pre.beta to 1.1.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-beta...v1.1.1)

---
updated-dependencies:
- dependency-name: leanprover/lean-action
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>

.github/workflows/ci.yml

@@ -22,7 +22,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/lean-action@v1-beta
+        uses: leanprover/lean-action@v1.1.1
         with:
           test: false
           build-args: "--quiet"