diff options
author | Michael Davis | 2023-10-26 14:07:36 +0000 |
---|---|---|
committer | GitHub | 2023-10-26 14:07:36 +0000 |
commit | ef1f4f31b6e0d8338a9f5b8932de9b07ac7bb0a0 (patch) | |
tree | 3dbf808fd1e5b3fc9d2822bd84489116421c913f /.github | |
parent | 5ce1c30f775ba74b2b061655aea4441d8beaa445 (diff) |
CI: Publish stable book before master (#8621)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/gh-pages.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index b288e0f6..ae2e5835 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -26,16 +26,16 @@ jobs: OUTDIR=$(basename ${{ github.ref }}) echo "OUTDIR=$OUTDIR" >> $GITHUB_ENV - - name: Deploy + - 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 - destination_dir: ./${{ env.OUTDIR }} - - name: Deploy stable + - name: Deploy uses: peaceiris/actions-gh-pages@v3 - if: startswith(github.ref, 'refs/tags/') with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./book/book + destination_dir: ./${{ env.OUTDIR }} |