chore(deps): bump leanprover/lean-action from 1.pre.beta to 1.0.0

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

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

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

.github/workflows/build.yml

@@ -19,7 +19,7 @@ jobs:
 
       - uses: actions/checkout@v4
 
-      - uses: leanprover/lean-action@v1-beta
+      - uses: leanprover/lean-action@v1.0.0
         with:
           test: true
           use-mathlib-cache: false