diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 0a7b485b..97b2ec19 100644
--- a/.github/workflows/build.yml
+++ b/.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