Testing...

Vierkantor · Vierkantor · commit bb53498fdd41 · 2025-05-22T15:05:02.000+02:00
diff --git a/.github/workflows/lean-release-tag.yml b/.github/workflows/lean-release-tag.yml
@@ -14,7 +14,7 @@ jobs:
       contents: write
     steps:
     - name: lean-release-tag action
-      uses: leanprover-community/lean-release-tag@6cac285cc62ca3c14a396be0945cdf06e3ac8593
+      uses: leanprover-community/lean-release-tag@ce29efe9d10bc85fa674fc98a775f8bb3afcd229
       with:
         before: ${{ github.event.before }}
         after: ${{ github.event.after }}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.18414.0
+leanprover/lean4:v4.1585.0
