Update CI
Update publish
branch with new CI config.
- Book in
main
gets compiled, but not uploaded as an artifact. This is to test incoming changes to the book. - Once
main
is merged intopublish
, the book gets built again, after which a deploy job pushes the HTML topublish-html
.