diff --git a/.github/workflows/ci-native-polyglot.yml b/.github/workflows/ci-native-polyglot.yml
index d3657789..a45c1183 100644
--- a/.github/workflows/ci-native-polyglot.yml
+++ b/.github/workflows/ci-native-polyglot.yml
@@ -131,7 +131,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
-      - uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596  # v1.6.0
+      - uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865  # v1.6.1
         with:
           use-github-cache: true
           test: false