Skip to content
Snippets Groups Projects
  1. Mar 08, 2020
  2. Mar 07, 2020
  3. Feb 27, 2020
  4. Feb 11, 2020
  5. Feb 09, 2020
  6. Feb 08, 2020
  7. Feb 05, 2020
  8. Jan 06, 2020
  9. Jan 05, 2020
  10. Jan 01, 2020
  11. Dec 29, 2019
  12. Dec 23, 2019
  13. Dec 18, 2019
  14. Dec 16, 2019
  15. Dec 15, 2019
  16. Dec 08, 2019
  17. Dec 02, 2019
  18. Dec 01, 2019
  19. Nov 30, 2019
  20. Nov 27, 2019
  21. 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