[CI] Remove pylint from checks

pylint turned out to not be suitable as a CI check due to its
instability between versions and a large amount of questionable
findings.

Signed-off-by: Michał Kowalczyk <mkow@invisiblethingslab.com>

.ci/lib/stage-lint.jenkinsfile

@@ -1,7 +1,6 @@
 stage('lint') {
     sh '''
         ./scripts/gitignore-check-files
-        ./.ci/run-pylint -f text
         ./.ci/run-shellcheck
     '''
 }

.ci/run-shellcheck

@@ -14,5 +14,5 @@ LC_ALL=C.UTF-8 shellcheck "$@" \
     scripts/clean-check-test-copy \
     scripts/download \
     scripts/gitignore-test \
-    .ci/run-pylint \
+    scripts/run-pylint \
     .ci/run-shellcheck

.ci/ubuntu20.04.dockerfile

@@ -45,7 +45,6 @@ RUN apt-get update && env DEBIAN_FRONTEND=noninteractive apt-get install -y \
     pkg-config \
     protobuf-c-compiler \
     protobuf-compiler \
-    pylint3 \
     python \
     python3-apport \
     python3-apt \

.ci/ubuntu22.04.dockerfile

@@ -46,7 +46,6 @@ RUN apt-get update && env DEBIAN_FRONTEND=noninteractive apt-get install -y \
     pkg-config \
     protobuf-c-compiler \
     protobuf-compiler \
-    pylint \
     python3 \
     python3-apport \
     python3-apt \

libos/test/regression/test_libos.py

@@ -1264,8 +1264,6 @@ def find(self, name, stdout):
         return match.group(1).strip()
 
     def test_000_gdb_backtrace(self):
-        # pylint: disable=fixme
-        #
         # To run this test manually, use:
         # GDB=1 GDB_SCRIPT=debug.gdb gramine-{direct|sgx} debug
         #

.ci/run-pylint → scripts/run-pylint

@@ -1,5 +1,10 @@
 #!/bin/sh
 
+# Currently not used in CI due to a high ratio of questionable findings to meaningful ones and
+# incompatible changes between pylint versions.
+# It is still recommended to use it and check the results manually when doing bigger changes in
+# Python codebase. It's just not suitable as a CI check.
+
 set -e
 
 cd "$(git rev-parse --show-toplevel)"