chore: mark prereleases as such in github releases

leanprover · Oct 18, 2023 · 26ab05d · 26ab05d
1 parent 0e98f2e
commit 26ab05d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
@@ -85,6 +85,7 @@ jobs:
         with:
           files: 'vscode-lean4/lean4-*.vsix'
           fail_on_unmatched_files: true
+          prerelease: ${{ endsWith(github.ref, '-pre') }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}