Remove make lint from CI

Lubomir-Jahn · Lubomir-Jahn · commit ddc40f545328 · 2025-03-07T06:59:30.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -21,12 +21,6 @@ pipeline {
             }
         }
 
-        stage('Static analysis') {
-            steps {
-                sh 'make lint'
-            }
-        }
-
         stage('Build') {
             steps {
                 sh 'make'
