From ffc2c495fbc226f2ebd88e38046c322b7803786e Mon Sep 17 00:00:00 2001
From: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Date: Fri, 30 Apr 2021 07:50:15 +0200
Subject: [PATCH] Fixes to Jenkinsfile

Change-Id: Id75b49fd8c38ef90a0869ba6845a36f338a239b5
Reviewed-on: https://forge.frm2.tum.de/review/c/sine2020/secop/playground/+/25837
Tested-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
Reviewed-by: Bjoern Pedersen <bjoern.pedersen@frm2.tum.de>
---
 ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 3008ef5..7cca18c 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -30,7 +30,7 @@ def changedFiles = '';
 
 def run_pylint(pyver) {
   stage ('pylint-' + pyver) {
-      gerritPostCheck(["jenkins:pylint_${pyver}:"RUNNING"])  
+      gerritPostCheck(["jenkins:pylint_${pyver}":"RUNNING"])  
     def status = 'OK'
     changedFiles = sh returnStdout: true, script: '''\
 #!/bin/bash