[skip ci] CI: Coverage for 25bc7efee49e0e23d7e7b5a2738c107641dbb792