Add Doxygen to gitlab-ci
Add a Doxygen builder to gitlab-ci. Eventually we should ensure that it is warning-clean. We can also add a job to upload it somewhere on branches which will involve secrets at some point.
Add a Doxygen builder to gitlab-ci. Eventually we should ensure that it is warning-clean. We can also add a job to upload it somewhere on branches which will involve secrets at some point.