Currently, we build mdbook in CI, which takes a couple of minutes. [Using a prebuilt binary](https://rust-lang.github.io/mdBook/continuous-integration.html) may speed it up.
Currently, we build mdbook in CI, which takes a couple of minutes. Using a prebuilt binary may speed it up.