diff --git a/.github/workflows/create-release.yml b/.github/workflows/create-release.yml
index 24ece16..f6e45c7 100644
--- a/.github/workflows/create-release.yml
+++ b/.github/workflows/create-release.yml
@@ -16,7 +16,7 @@ jobs:
       contents: write
     steps:
     - name: lean-release-tag action
-      uses: leanprover-community/lean-release-tag@0a978e45247f1ef211cd9d7f99d0dbd87638a70a # 2025-05-22
+      uses: leanprover-community/lean-release-tag@92561973391c1d265d18c6d5dfc424079cf5dd13 # 2025-05-22
       with:
         before: ${{ github.event.before }}
         after: ${{ github.event.after }}