Testing...

Vierkantor · Vierkantor · commit 710f234141a2 · 2025-05-22T15:16:53.000+02:00
diff --git a/.github/workflows/lean-release-tag.yml b/.github/workflows/lean-release-tag.yml
@@ -14,10 +14,9 @@ jobs:
       contents: write
     steps:
     - name: lean-release-tag action
-      uses: leanprover-community/lean-release-tag@cd9ace2119a521d567bf0659eb6c5cb449461981
+      uses: leanprover-community/lean-release-tag@f21a6eedf2ee1299214bd045fde3ad9a7f61e606
       with:
-        GH_TOKEN: ${{ secrets.GH_TOKEN }}
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         before: ${{ github.event.before }}
         after: ${{ github.event.after }}
 
-        do-release: true
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29461.0
+leanprover/lean4:v4.3558.0
