ci: speed up mdbook build by using pre-built binaries, and remove some superflous comments#133

Merged

hpk42 merged 1 commit intomainfrom

hpk/cleanup-ci2

Feb 28, 2026

Commits on Feb 28, 2026

ci: speed up mdbook build by using pre-built binaries, and remove some superflous comments, run building on every branch, and rsyncing only on pushes to main
hpk42
committed