Skip to content

GitLab

Fix: removed github plugin and server

1 job for MontiCore5 in 39 seconds (queued for 2 seconds)
a0d5b2cb
1 related merge request: !2 Fix: removed github plugin and server
Status Job ID Name Coverage
  Linux
passed #133693
BranchJobLinux

00:00:39