On July, 8th between 18:00 and 22:00 gitlab.tugraz.at may not be available (Reason: maintenance work / gitlab updates). We will upgrade to version 18.1.x. For a list of breaking changes see https://about.gitlab.com/blog/2025/04/18/a-guide-to-the-breaking-changes-in-gitlab-18-0/.
develop21 commits (christoph.,schmidt@tugraz.at)
1 commit (christoph.schmidt@tugraz.at)