summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorGokul Soumya2022-03-14 02:46:40 +0000
committerGitHub2022-03-14 02:46:40 +0000
commit85492e587cc27ba9783c8380683660a0f4423ff4 (patch)
treeb65d0024e2656d11242c39ec0785e1d444226797 /.github/workflows
parent1ac576f2b3ab3b3b1c398c57e1269682e6f63f3e (diff)
Deploy docs for master separately (#1783)
* Deploy docs for master separately * Output docs for every tagged release * Update .github/workflows/gh-pages.yml Co-authored-by: Blaž Hrastnik <blaz@mxxn.io>
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/gh-pages.yml16
1 files changed, 15 insertions, 1 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index bf3488c8..223f8450 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -4,6 +4,8 @@ on:
push:
branches:
- master
+ tags:
+ - '*'
jobs:
deploy:
@@ -18,10 +20,22 @@ jobs:
# mdbook-version: '0.4.8'
- run: mdbook build book
+
+ - name: Set output directory
+ run: |
+ OUTDIR=$(basename ${{ github.ref }})
+ echo "OUTDIR=$OUTDIR" >> $GITHUB_ENV
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
- if: github.ref == 'refs/heads/master'
+ with:
+ github_token: ${{ secrets.GITHUB_TOKEN }}
+ publish_dir: ./book/book
+ destination_dir: ./${{ env.OUTDIR }}
+
+ - name: Deploy stable
+ uses: peaceiris/actions-gh-pages@v3
+ if: startswith(github.ref, 'refs/tags/')
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book/book