Build #12856351707:   adjust CI to cover coverage on branch master 10 months ago

Build #5658889616:   Merge branch 'develop' into verboseOutput on branch verboseOutput over 2 years ago