[skip ci] CI: Coverage for bb4c8e39183935a9bec5ed495630d408775e34cb