imp(docs): manage`cargo-mdbook` as a GitHub action (#4636)

* imp(docs): manage`cargo-mdbook` as a GitHub action

* fix(docs): keep mdbook-mermaid
This commit is contained in:
Gustavo Valverde 2022-06-17 01:29:50 -04:00 committed by GitHub
parent e5c92084ba
commit e1a7a305d2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 1 deletions

View File

@ -37,9 +37,14 @@ jobs:
- uses: Swatinem/rust-cache@v1
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1.1.14
with:
mdbook-version: '0.4.18'
# TODO: actions-mdbook does not yet have an option to install mdbook-mermaid https://github.com/peaceiris/actions-mdbook/issues/426
- name: Install mdbook
run: |
cargo install mdbook
cargo install mdbook-mermaid
- name: Build Zebra book