fix broken pages script

This commit is contained in:
Jacek Sieka 2022-06-20 15:52:31 +02:00
parent 736711bb19
commit 4788069311
No known key found for this signature in database
GPG Key ID: A1B09461ABB656B8

View File

@ -10,12 +10,20 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- uses: actions-rs/install@v0.1
with:
crate: mdbook
use-tool-cache: true
- uses: actions-rs/install@v0.1
with:
crate: mdbook-toc
use-tool-cache: true
- uses: actions-rs/install@v0.1
with:
crate: mdbook-open-on-gh
use-tool-cache: true
- name: Build book - name: Build book
run: | run: |
curl -LSfs https://japaric.github.io/trust/install.sh | sh -s -- --git rust-lang/mdBook
curl -LSfs https://japaric.github.io/trust/install.sh | sh -s -- --git badboy/mdbook-toc
curl -LSfs https://japaric.github.io/trust/install.sh | sh -s -- --git badboy/mdbook-open-on-gh
PATH=.cargo/bin:$PATH mdbook build PATH=.cargo/bin:$PATH mdbook build
- name: Deploy - name: Deploy