Merge pull request #129 from zcash/mdbook-update

Use mdbook 0.4.5
This commit is contained in:
str4d 2021-01-09 15:44:16 +13:00 committed by GitHub
commit 67c4790ce6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -14,7 +14,7 @@ jobs:
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.4'
mdbook-version: '0.4.5'
- name: Install mdbook-katex
uses: actions-rs/cargo@v1

View file

@ -80,7 +80,7 @@ jobs:
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.4'
mdbook-version: '0.4.5'
- name: Test halo2 book
run: mdbook test -L target/debug/deps book/