diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6435fdb..2f30e7b 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.1
+        uses: leanprover/lean-action@v1.0.2
         with:
           test: false
\ No newline at end of file