CI: separating coverage from regular test run