Aufgrund eines Versionsupdates wird GitLab am 17.12. zwischen 9:00 und 9:30 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to a version upgrade, GitLab won't be accessible at 17.12. between 9 and 9:30 a.m.

Fix: removed github plugin and server

1 job for MontiCore5 in 39 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Linux
passed #133693
BranchJobLinux

00:00:39