CI: Run book tests

This commit is contained in:
Jack Grigg 2020-12-04 16:15:06 +00:00
parent cb54205600
commit e21c72a5a6

View file

@ -64,6 +64,18 @@ jobs:
command: build command: build
args: --all --benches --all-features args: --all --benches --all-features
book:
name: Book tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.4'
- name: Test halo2 book
run: mdbook test book/
clippy: clippy:
name: Clippy (stable) name: Clippy (stable)
timeout-minutes: 30 timeout-minutes: 30