On May, 9th between 18:00 and 22:00 gitlab.tugraz.at is maybe not available (Reason: maintenance work / gitlab updates).
See https://github.com/vimeo/psalm/issues/4961
