Releasing...

Vierkantor · Vierkantor · commit a30e7727ee7c · 2025-05-26T16:29:38.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.10637.0
+leanprover/lean4:v4.4110.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`