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

Update test definitions.

4 jobs for 18-use-updated-testing-plugin in 8 minutes and 30 seconds (queued for 4 seconds)
Status Name Job ID Coverage
  Build
passed build #19476

00:02:39

 
  Test
passed test #19477

00:05:50

 
  Ragdoc Build
passed ragdoc_build #19478

00:00:32

 
  Ragdoc View
passed ragdoc_view #19479

00:02:29