CI
: changed Codecov
to informational
#2670
Merged
CI
: changed Codecov
to informational
#2670