Update CI to use a prebuilt version of mdbook #37
Description
We probably don't need to build mdbook from source with cargo install, and instead use binstall or similar GHA tools, this will save us 2-3m of CI time per merge.
{{ message }}
We probably don't need to build mdbook from source with cargo install, and instead use binstall or similar GHA tools, this will save us 2-3m of CI time per merge.