chore: now do prerelease

leanprover · Jun 13, 2024 · 932df85 · 932df85
1 parent 5e16fe4
commit 932df85
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -106,6 +106,6 @@ jobs:
         if: startsWith(github.ref, 'refs/tags/')
         with:
           files: elan-${{ matrix.release-target-name || matrix.target }}*
-          draft: ${{ !startsWith(github.ref, 'refs/tags/v') }}
+          prerelease: ${{ !startsWith(github.ref, 'refs/tags/v') }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}