Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/workflows/gh-pages.yml')
| -rw-r--r-- | .github/workflows/gh-pages.yml | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 8f086fd6..223f8450 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -1,4 +1,4 @@ -name: GitHub Pages +name: Github Pages on: push: @@ -11,13 +11,13 @@ jobs: deploy: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v3 - name: Setup mdBook - uses: peaceiris/actions-mdbook@v2 + uses: peaceiris/actions-mdbook@v1 with: - # mdbook-version: 'latest' - mdbook-version: '0.4.43' + mdbook-version: 'latest' + # mdbook-version: '0.4.8' - run: mdbook build book @@ -26,16 +26,16 @@ jobs: OUTDIR=$(basename ${{ github.ref }}) echo "OUTDIR=$OUTDIR" >> $GITHUB_ENV - - name: Deploy stable - uses: peaceiris/actions-gh-pages@v4 - if: startswith(github.ref, 'refs/tags/') + - name: Deploy + uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./book/book + destination_dir: ./${{ env.OUTDIR }} - - name: Deploy - uses: peaceiris/actions-gh-pages@v4 + - 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 }} |