Skip to content

GitLab

small graphic tweaks from sea++

3 jobs for develop in 13 minutes and 56 seconds (queued for 10 seconds)
c44b9ab5
1 related merge request: !1 GDW WS18/19
Status Name Job ID Coverage
  Build
passed build-clang #8480

00:03:01

passed build-gcc #8479

00:04:33

passed build-scanbuild #8481

00:06:21