diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d0672d3..8293b75 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -7,7 +7,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - uses: leanprover/lean-action@v1-beta
+      - uses: leanprover/lean-action@v1
         with:
           check-reservoir-eligibility: true
       # use setup from lean-action to perform the following steps