Releasing...

Vierkantor · Vierkantor · commit f54a81888b7b · 2025-05-26T14:57:33.000+02:00
diff --git a/.github/workflows/lean-release-tag.yml b/.github/workflows/lean-release-tag.yml
@@ -18,3 +18,4 @@ jobs:
       with:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
+        do-release: true
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.22974.0
+leanprover/lean4:v4.20790.0

Original file line number	Diff line number	Diff line change
`@@ -18,3 +18,4 @@ jobs:`
`18`	`18`	`with:`
`19`	`19`	`GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}`
`20`	`20`
	`21`	`+ do-release: true`