diff options
| author | georg | 2019-11-25 18:44:45 +0000 |
|---|---|---|
| committer | georg | 2019-11-26 23:16:49 +0000 |
| commit | deeee256cc5fd92e66ffa507ff609259e7d0e370 (patch) | |
| tree | c81fe6190b4aff11d28d732d2425c8b4621fca92 /README.md | |
| parent | df1eb98a40e9c3dd052c2eff75d6bf75b2a34ba0 (diff) | |
CI: Use pylint, instead of pylint3
It seems, despite the name, both packages depend on Python 3. However,
pylint3 seems deprecated, and upstream recommends to install pylint:
https://www.pylint.org/#install
The current versions of both packages in Debian unstable are:
pylint 2.4.4-1
pylint3 2.2.2-1
This commit fixes failing CI jobs due to the use of pylint3 2.2.2-1,
which seems broken.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions