Publishing artifacts
We need a way to publish artifacts generated in CI jobs:
- doxygen docs
- coverage reports
- other?
The preferred way in gitlab seem to be gitlab pages, can they get activated for the server? We don't have to start with a wild-card domain for all projects, running the gl-pages server on a single domain, e.g.,
corsika8.ikp.kit.edu
is probably good enough for us.