### Context Currently, we manually publish docs using the `mkdocs gh-deploy` command. Ideally, this could be done via CI. The goal of this issue is to achieve that.