Testing...

Vierkantor · Vierkantor · commit 7592bccfab81 · 2025-08-02T14:07:53.000+02:00
diff --git a/.github/workflows/lean-release-tag.yml b/.github/workflows/lean-release-tag.yml
@@ -14,8 +14,7 @@ jobs:
       contents: write
     steps:
     - name: lean-release-tag action
-      uses: leanprover-community/lean-release-tag@65ed38eff64b90fa1d1d1c0d475f1f64ba8f7708
+      uses: leanprover-community/lean-release-tag@9ca7ed09e240259871327bfc3a3a8d8c4bcb41aa
       with:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
-        do-release: true
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.4110.0
+leanprover/lean4:v4.3301.0
