Skip to content
Snippets Groups Projects
  1. Nov 26, 2019
    • georg's avatar
      linting: use pylint, instead of pylint3 · 1c5e0182
      georg authored
      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.
      Verified
      1c5e0182
  2. Nov 25, 2019
  3. Nov 12, 2019
  4. Jul 22, 2019
  5. Jul 19, 2019
  6. Jul 18, 2019
  7. Jul 13, 2019
  8. Jul 11, 2019
  9. May 31, 2019
  10. Apr 15, 2019
  11. Apr 14, 2019
  12. Mar 26, 2019
  13. Mar 07, 2019
  14. Feb 24, 2019
  15. Feb 23, 2019
  16. Feb 22, 2019
Loading