Ci setup
Branch was created to created CI. The gitlab CI is running for now, it also uses gradle so we don't have that many technologies involved.
Instance-wide CI Runners have been updated. For details see: https://cs.uni-paderborn.de/en/irb/dienstuebersicht/git-server#server-wide-changes
Branch was created to created CI. The gitlab CI is running for now, it also uses gradle so we don't have that many technologies involved.