New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

minor: resolve some legacy suppressions #910

Merged

romani merged 1 commit into sevntu-checkstyle:master from rnveach:minor_suppressions

Oct 21, 2022

Contributor

rnveach commented Oct 21, 2022

No description provided.


          minor: resolve some legacy suppressions

49edc81

coveralls commented Oct 21, 2022

Coverage increased (+0.0009%) to 98.798% when pulling 49edc81 on rnveach:minor_suppressions into 1bd5436 on sevntu-checkstyle:master.

rnveach requested a review from romani

October 21, 2022 03:09

rnveach assigned romani

romani approved these changes

View reviewed changes

romani merged commit 861e1d9 into sevntu-checkstyle:master

rnveach deleted the minor_suppressions branch

October 21, 2022 10:38

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment