diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1eceba6..6435fdb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,6 +21,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: lean action
-        uses: leanprover/lean-action@v1.0.0
+        uses: leanprover/lean-action@v1.0.1
         with:
           test: false
\ No newline at end of file