GitLab update scheduled for Friday, October 22th between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.

More cleanup

2 jobs for rest in 6 minutes and 37 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build #16308

00:02:25

 
  Test
passed test #16309

00:04:12