ci: publish docs to github pages, for (non-pre) releases

Signed-off-by: Nico Braun <[email protected]>
bluebrown · Jul 28, 2023 · 81129fb · 81129fb
1 parent 5a68f59
commit 81129fb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -40,3 +40,7 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           PRE_RELEASE: ${{ github.event.inputs.preRelease == 'true' && '1' || '0' }}
+
+      - name: Publish docs
+        run: make github-pages
+        if: github.events.inputs.preRelease != 'true'