Revert "Change: disable pylint, it keeps failing randomly"

This reverts commit bd2f1249cd48bd23d151fff5cb5951b5b8f7f19e.

Undoing all the muck related changes, since production CI is broken by
them. Going to re-do these more carefully.

1 files changed, 5 insertions, 5 deletions

diff --git a/check b/check
index f9360cc..913f21d 100755
--- a/check
+++ b/check
@@ -71,11 +71,11 @@ then
     title pycodestyle
     pycodestyle ick2 $python_sources
 
-    # if command -v pylint3 > /dev/null
-    # then
-    #     title pylint3
-    #     pylint3 --rcfile pylint.conf $python_sources
-    # fi
+    if command -v pylint3 > /dev/null
+    then
+        title pylint3
+        pylint3 --rcfile pylint.conf $python_sources
+    fi
 fi
 
 if [ "$yarns" = yes ]