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/.
This is all very basic, building works, testing works, but there are type checking errors which I don't know how to fix.
Improvements welcome.
See #41 (closed)