Closed the-it closed 1 year ago
Attention: 1 lines
in your changes are missing coverage. Please review.
Comparison is base (
1ab5842
) 91.4596% compared to head (2d4085f
) 91.4825%. Report is 1 commits behind head on main.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
This PR changes the behavior of the Protect bot. Lemmas which changed back from Fertig shouldn't be protected anymore.