| name: docs |
| on: |
| push: |
| branches: [master] |
| paths: |
| - 'docs-src/**' |
| permissions: |
| contents: read |
| pages: write |
| id-token: write |
| concurrency: |
| group: ${{ github.workflow }}-${{ github.ref }} |
| cancel-in-progress: true |
| jobs: |
| deploy: |
| runs-on: ubuntu-latest |
| environment: |
| name: github-pages |
| url: ${{ steps.deployment.outputs.page_url }} |
| steps: |
| - uses: actions/checkout@v4 |
| - uses: dtolnay/rust-toolchain@stable |
| - uses: Swatinem/rust-cache@v2 |
| - name: Install docs-gen |
| run: cargo install docs-gen |
| - name: Build |
| run: docs-gen build docs-src docs |
| - uses: actions/configure-pages@v5 |
| - uses: actions/upload-pages-artifact@v3 |
| with: |
| path: docs |
| - id: deployment |
| uses: actions/deploy-pages@v4 |