diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 55c740d..83d88fe 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -62,12 +62,13 @@ fi
     } // credentials
 
     echo "pylint result: $res"
-
+    this.verifyresult.put('pylint'+pyver, 1)
     if ( res != 0 ) {
         currentBuild.result='FAILURE'
         this.verifyresult.put('pylint'+ pyver, -1)
         status = 'FAILURE'
     }
+
     gerritverificationpublisher([
         verifyStatusValue: this.verifyresult['pylint'+pyver],
         verifyStatusCategory: 'pylint ',