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

Skip to content

Revert "Removed the compilation timeout"

rp1446 requested to merge add-back-timeout into master

This reverts commit f290b58b.

Apparently I removed the timeout back when I tested a (much too involved) alias analysis.

Merge request reports