| name: github pages |
| |
| on: |
| push: |
| branches: |
| - main |
| pull_request: |
| |
| 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: 'latest' |
| - name: Install Dependencies |
| run: | |
| sudo apt update |
| ./tools/install-docs-deps |
| - name: Run mdbook |
| run: | |
| mkdir -p docs/target/ |
| mdbook build docs/book/ --dest-dir ../target/ |
| - name: Run cargo doc |
| run: | |
| git submodule update --init |
| ./tools/cargo-doc --target-dir ./docs/target/html/ |
| - name: Deploy |
| uses: peaceiris/actions-gh-pages@v3 |
| with: |
| github_token: ${{ secrets.GITHUB_TOKEN }} |
| publish_dir: ./docs/target/html/ |