push
github
34697 of 39177 relevant lines covered (88.56%)
0.89 hits per line
The file "../servlet/jakarta/build/generated/sources/jakarta-main/io/grpc/servlet/jakarta/ServletAdapter.java" isn't available on github. Either it's been removed, or the repo root directory needs to be updated.