Commit 5cfec07
committed
ci: Disable filtering of lint errors.
For certain reporters, it's necessary to do this filtering because
GitHub does not allow posting to unrelated files. The github-check
reporter _should_ allow it though, and we want to catch things like
unused imports that may not be in the diff.1 parent 575c37b commit 5cfec07
1 file changed
Lines changed: 3 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
32 | | - | |
| 32 | + | |
| 33 | + | |
33 | 34 | | |
34 | 35 | | |
35 | 36 | | |
| |||
40 | 41 | | |
41 | 42 | | |
42 | 43 | | |
| 44 | + | |
43 | 45 | | |
44 | 46 | | |
45 | 47 | | |
0 commit comments