CI testsuite output is too verbose
As a consequence of the recent verbosity changes, the default CI output has got too verbose again as too high a verbosity level is passed to the testsuite. I will rectify this.
As a consequence of the recent verbosity changes, the default CI output has got too verbose again as too high a verbosity level is passed to the testsuite. I will rectify this.