Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content

FIX: coverage

dominik.rimpf requested to merge coverage into main

refactored coverage report, which was broken since gitlab 14.8

Merge request reports