Publish mdbook to GitHub Pages #123
Description
Once #122 is finished, we could add a workflow to publish the book to GitHub Pages.
For an example, here's ethrex's workflow: https://github.com/lambdaclass/ethrex/blob/728dc7ded560c665ab1ff2cf7f3eeb197b5bc40f/.github/workflows/pr-main_mdbook.yml