diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 395f7f6c..69156309 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -39,6 +39,18 @@ jobs: command: build args: --all --benches + 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 Pollard book + run: mdbook test book/ + clippy: name: Clippy (stable) timeout-minutes: 30