Automatically deploy documentation to Gitlab on push to main
Currently we have automatically generated documentation using the Sphinx package configured for GitHub Pages (.github/workflows/sphinx.yaml).
Instead, we'd like to build our documentation every time a push is made to the main
branch and then automatically deploy our documentation on GitLab as part of CI. This documentation should ideally be built using MkDocs, as mentioned in #6 (closed).
Refer to these links from GitLab: