diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d3c1825..25ae5c8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,7 +22,7 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/lean-action@v1-beta
+        uses: leanprover/lean-action@v1.1.1
         with:
           test: false
           build-args: "--quiet"
\ No newline at end of file