Not sure what the develop branch contains, but it seems that @TobiasPott was about to modernize / upgrade some things. Let's see what happens if we dare to merge, since the CI is now fixed.
❌ Please link an issue that describes the reason for this pull request, otherwise your pull request will be closed. Make sure to write it as Closes: #123 in the PR description, so I can recognize it.
Not sure what the develop branch contains, but it seems that @TobiasPott was about to modernize / upgrade some things. Let's see what happens if we dare to merge, since the CI is now fixed.