Reduce nesting depth of ManyBraces test to 256
During the meeting it was decided that a few hundred is good enough. This MR reduces the nesting to something at the higher end of the suggested range.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
ACHTUNG - Anpassung des Abschaltdatums: Der Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // ATTENTION - Shutdown date: The pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
During the meeting it was decided that a few hundred is good enough. This MR reduces the nesting to something at the higher end of the suggested range.