ci: tag prereleases

leanprover-community · Dec 20, 2024 · 70fad3a · 70fad3a
1 parent 171ae3e
commit 70fad3a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -59,7 +59,9 @@ jobs:
 
       - name: Create GitHub release for tag (Ubuntu)
         if: github.ref_type == 'tag' && matrix.os == 'ubuntu-latest'
-        uses: softprops/action-gh-release@v1
+        uses: softprops/action-gh-release@v2
+        with:
+          prerelease: ${{ contains(github.ref, '-pre') }}
 
       - name: Upload release archive (Ubuntu)
         if: github.ref_type == 'tag' && matrix.os == 'ubuntu-latest'