Update CI to use a prebuilt version of mdbook

Open jamesmunns opened this issue 5 months ago • 1 comments

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.

Sep 16 '25 18:09 jamesmunns

Excellent suggestion. I will poke at it when I get a chance.

Sep 18 '25 20:09 BartMassey