Merge pull request #210 from danyalprout/add-mdbook-check

Add CI check for building book

.circleci/config.yml

@@ -36,6 +36,9 @@ jobs:
       - run:
           name: markdown toc
           command: just lint-specs-toc-check
+      - run:
+          name: build book
+          command: just build
   lint-links:
     machine:
       image: <<pipeline.parameters.base_image>>

Justfile

@@ -6,6 +6,7 @@ default:
 
 # Install required dependencies
 deps:
+    cargo install mdbook mdbook-katex mdbook-linkcheck mdbook-mermaid
     pnpm i --frozen-lockfile
 
 # Lint the workspace for all available targets
@@ -36,6 +37,9 @@ lint-links:
     		--exclude twitter.com --exclude explorer.optimism.io --exclude linux-mips.org --exclude vitalik.ca \
     		--exclude-mail /input/README.md "/input/specs/**/*.md"
 
+build:
+    mdbook build
+
 # Serves the mdbook locally
 serve *args='':
     mdbook serve $@