Publish draft releases for non-version tags

leanprover · Jun 13, 2024 · bc6fdca · bc6fdca
1 parent 4e413ea
commit bc6fdca
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,7 +4,7 @@ on:
     branches:
       - '*'
     tags:
-      - 'v*'
+      - '*'
   pull_request:
     branches:
       - '*'
@@ -103,8 +103,9 @@ jobs:
           cd foo
           lake build
       - uses: softprops/action-gh-release@v1
-        if: startsWith(github.ref, 'refs/tags/v')
         with:
           files: elan-${{ matrix.release-target-name || matrix.target }}*
+          draft: ${{ !startsWith(github.ref, 'refs/tags/v') }}
+          if: startsWith(github.ref, 'refs/tags/')
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}