chore: update docs-release action (#1069)

leanprover-community · Nov 29, 2024 · f46c044 · f46c044
1 parent 5de6320
commit f46c044
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml
@@ -40,6 +40,8 @@ jobs:
       - name: Release Docs
         uses: softprops/action-gh-release@v2
         with:
+          prerelease: ${{ contains(github.ref, 'rc') }}
+          make_latest: ${{ !contains(github.ref, 'rc') }}
           files: |
             docs/docs-${{ github.ref_name }}.tar.gz
             docs/docs-${{ github.ref_name }}.zip