Skip to content

Commit

Permalink
Add CI check for building book
Browse files Browse the repository at this point in the history
  • Loading branch information
danyalprout committed May 28, 2024
1 parent dfd2dea commit ea77f93
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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>>
Expand Down
3 changes: 3 additions & 0 deletions Justfile
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,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 $@

0 comments on commit ea77f93

Please sign in to comment.