lower verbosity level to prevent CI overflow

hmm, the master CI is failing right now because of problems with the "only: master" coverage tests. This can best be fixed on master directly.