diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d85bed5..ba3fb45 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -71,7 +71,7 @@ jobs:
           python-version: "3.12"
 
       - name: Set up Lean environment
-        uses: leanprover/lean-action@v1.5.0
+        uses: leanprover/lean-action@v1.6.0
         with:
           auto-config: false
           build: false
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index aaf4f84..684d6ec 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -31,7 +31,7 @@ jobs:
             ${{ runner.os }}-lean-docs-
 
       - name: Build the project
-        uses: leanprover/lean-action@v1.5.0
+        uses: leanprover/lean-action@v1.6.0
         with:
           lint: false
           use-github-cache: false