Merge pull request #383 from ids1024/presentation-time #227
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Deploy Docs to GitHub Pages | |
| on: | |
| push: | |
| branches: | |
| - master | |
| jobs: | |
| doc: | |
| name: Documentation on Github Pages | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v2 | |
| - name: Cargo cache | |
| uses: actions/cache@v1 | |
| with: | |
| path: ~/.cargo | |
| key: cargo-stable | |
| - name: Rust toolchain | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| toolchain: stable | |
| override: true | |
| - name: Install system dependencies | |
| run: sudo apt-get install libxkbcommon-dev libwayland-dev | |
| - name: Build Documentation | |
| uses: actions-rs/cargo@v1 | |
| with: | |
| command: doc | |
| args: --no-deps | |
| - name: Setup index | |
| run: cp ./doc_index.html ./target/doc/index.html | |
| - name: Deploy | |
| uses: peaceiris/actions-gh-pages@v3 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./target/doc |