| - uses: actions/checkout@master |
| rustup set profile minimal |
| rustup toolchain install stable |
| - name: Install latest mdbook |
| tag=$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name') |
| url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz" |
| curl -sSL $url | tar -xz --directory=bin |
| echo "$(pwd)/bin" >> $GITHUB_PATH |
| - name: Deploy to GitHub Pages |
| if: github.ref == 'refs/heads/main' |
| uses: JamesIves/github-pages-deploy-action@4.1.7 |
| branch: gh-pages # The branch the action should deploy to. |
| folder: docs/book # The folder the action should deploy. |