diff --git a/.github/workflows/zeta23-ci.yml b/.github/workflows/zeta23-ci.yml
index 23a734973..4f08e437a 100644
--- a/.github/workflows/zeta23-ci.yml
+++ b/.github/workflows/zeta23-ci.yml
@@ -117,7 +117,7 @@ jobs:
       - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
         with:
           persist-credentials: false
-      - uses: leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9
+      - uses: leanprover/lean-action@50fcf42d2e460296f1a34b402e990d1b24f8b596
         with:
           build: false
           lake-package-directory: zeta23