Minor fixes gitlab-ci.yaml

8 jobs for bugfixes-markus in 26 minutes and 53 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #1111439

00:17:06

 
  Test
passed dev_setup_tests #1111444

00:09:36

passed gui_linting #1111441

00:01:39

passed install_tests #1111443

00:06:55

passed linting #1111440

00:05:35

passed tests #1111442

00:09:46

77.0%
 
  Deploy
manual deploy #1111445
allowed to fail manual
 
  Release
manual release #1111446
allowed to fail manual