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

Skip to content

Add broken tests

uxwlu requested to merge exec/bugs-2022-01-17 into master

Add tests that broke our poor little compiler today

Merge request reports