Closed kevinlewi closed 10 months ago
Attention: 1 lines
in your changes are missing coverage. Please review.
Comparison is base (
85beb07
) 87.89% compared to head (318d708
) 87.90%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
The comment for this check was backwards -- it should be that we are checking that proof.longest_prefix is a prefix of the proof's label. (The code was correct, the comment wasn't)