You can not select more than 25 topics
Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
-
- name: github pages
-
- on:
- push:
- branches:
- - main
- pull_request:
-
- permissions:
- contents: write
-
- jobs:
- deploy:
- runs-on: ubuntu-20.04
- concurrency:
- group: ${{ github.workflow }}-${{ github.ref }}
- steps:
- - uses: actions/checkout@v2
-
- - name: Setup mdBook
- uses: peaceiris/actions-mdbook@v1
- with:
- mdbook-version: '0.4.10'
- # mdbook-version: 'latest'
-
- - run: mdbook build docs
-
- - name: Deploy
- uses: peaceiris/actions-gh-pages@v3
- if: ${{ github.ref == 'refs/heads/main' }}
- with:
- github_token: ${{ secrets.GITHUB_TOKEN }}
- publish_dir: ./docs/book
|