Releasing...

Vierkantor · Vierkantor · commit 92f6b891de4b · 2025-05-22T15:16:59.000+02:00
diff --git a/.github/workflows/lean-release-tag.yml b/.github/workflows/lean-release-tag.yml
@@ -20,3 +20,4 @@ jobs:
         before: ${{ github.event.before }}
         after: ${{ github.event.after }}
 
+        do-release: true
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.20580.0
+leanprover/lean4:v4.18021.0
