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

Skip to content

Add ci

marcus.hardt requested to merge add-ci into current-oidc

Merge request reports