diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 698103b..d0672d3 100644
--- 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