[skip ci] CI: Coverage for ed83a6e5781dae2943cb30dbae329f6ec2d949a4