[skip ci] CI: Coverage for 5a4d37e4a34d29c8a60d53207633fa2f115bc4ee