Skip to content
Snippets Groups Projects
  1. Jun 09, 2020
  2. May 17, 2020
  3. Apr 06, 2020
  4. Apr 02, 2020
  5. Mar 29, 2020
  6. Mar 08, 2020
  7. Mar 07, 2020
  8. Feb 27, 2020
  9. Feb 11, 2020
  10. Feb 09, 2020
  11. Feb 08, 2020
  12. Feb 05, 2020
  13. Jan 06, 2020
  14. Jan 05, 2020
  15. Jan 01, 2020
  16. Dec 29, 2019
  17. Dec 23, 2019
  18. Dec 18, 2019
  19. Dec 16, 2019
  20. Dec 15, 2019
  21. Dec 08, 2019
  22. Dec 02, 2019
  23. Dec 01, 2019
  24. Nov 30, 2019
  25. Nov 27, 2019
  26. Nov 26, 2019
    • georg's avatar
      CI: Use pylint, instead of pylint3 · deeee256
      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
      deeee256
Loading