push
github
fix type hint and doc (#11910) (#11918) (cherry picked from commit 8acc76606) Co-authored-by: Takashi Imamichi <31178928+t-imamichi@users.noreply.github.com>
1 of 1 new or added line in 1 file covered. (100.0%)
3 existing lines in 2 files now uncovered.58913 of 65971 relevant lines covered (89.3%)
186499.18 hits per line