Learn more about these different git repos.
Other Git URLs
5cbf0ef
@@ -27,7 +27,7 @@
message += defect["message"]
csdiff_data.append({
- "checker": "PYLINT",
+ "checker": "PYLINT_WARNING",
"events": [{
"file_name": defect["path"],
"line": defect["line"],
This is needed to let csdiff apply additional message filters related to Pylint: https://github.com/kdudka/csdiff/commit/bc7bc82cc784ba2707d2af177fdb5bbb570224c3
Can anyone take a look? This is trivial enough, and it should make our CI greener.
+1
Thank you, merging earlier than 24h+, to have nicer CI output.
Pull-Request has been merged by praiskup
This is needed to let csdiff apply additional message filters related to
Pylint:
https://github.com/kdudka/csdiff/commit/bc7bc82cc784ba2707d2af177fdb5bbb570224c3