chore: update lean-action to v1-beta (#10)

* chore: update `lean-action` to v1-beta * chore: remove redundant logging step from workflow
leanprover-community · May 23, 2024 · b167323 · b167323
1 parent 35e38eb
commit b167323
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,14 +5,12 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: leanprover/lean-action@v1-alpha
+      - uses: actions/checkout@v4
+
+      - uses: leanprover/lean-action@v1-beta
         with:
           check-reservoir-eligibility: true
       # use setup from lean-action to perform the following steps
-      - name: print lean and lake versions
-        run: |
-          lean --version
-          lake --version
       - name: verify `lake exe graph` works
         run: |
           lake exe graph