[skip ci] CI: Coverage for dc2a3e7c6901d732d390d58626fa02b7d08af7a8