[skip ci] CI: Coverage for 0057aa8c3d4aee42415619efe72734c2b9bc7bbc