From e21c72a5a6f4f01ad70fc901488b6e96e4b144bb Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Fri, 4 Dec 2020 16:15:06 +0000
Subject: [PATCH] CI: Run book tests

---
 .github/workflows/ci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c909a82..dbe0126 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -64,6 +64,18 @@ jobs:
           command: build
           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:
     name: Clippy (stable)
     timeout-minutes: 30