### 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.
Context
Currently, we manually publish docs using the
mkdocs gh-deploycommand. Ideally, this could be done via CI. The goal of this issue is to achieve that.