How it works

We currently use gitlab to both build the mkdocs and push them to gitlab pages using gitlab pipelines.