diff options
Diffstat (limited to '.github/workflows/gh-pages.yml')
-rw-r--r-- | .github/workflows/gh-pages.yml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index ca8d2ba9..6f23094d 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -2,8 +2,7 @@ name: Build and Deploy to Github Pages on: push: - branches: - - main # Here source code branch is `master`, it could be other branch + branches: [ main ] jobs: deploy: @@ -11,12 +10,12 @@ jobs: concurrency: group: ${{ github.workflow }}-${{ github.ref }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - name: Setup mdBook uses: peaceiris/actions-mdbook@v1 with: - mdbook-version: "0.4.10" + mdbook-version: "0.4.18" # mdbook-version: 'latest' - uses: actions-rs/install@v0.1 @@ -44,4 +43,6 @@ jobs: if: github.ref == 'refs/heads/main' with: github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./docs/book + publish_dir: ./docs/book/html + destination_dir: html + |