diff -r 2ad78eeb9981 -r 6e482f99b30e .gitlab-ci.yml
--- a/.gitlab-ci.yml	Wed Jun 12 19:58:52 2019 +0200
+++ b/.gitlab-ci.yml	Wed Jun 12 20:06:45 2019 +0200
@@ -17,6 +17,7 @@
 
 pylint:
     stage: quality
+    allow_failure: true
     script:
         - pip install pylint --quiet
         - pylint src/