From 2e698af78c60956d222134fe9a708bf5235cf0d0 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Tue, 14 Mar 2023 08:13:36 +0100
Subject: [PATCH] Jenkinsfile: isort does not fail the build

Change-Id: Ide31346f35ecef3030f306698cfe4586010df020
Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/30674
Tested-by: Jenkins Automated Tests <pedersen+jenkins@frm2.tum.de>
Reviewed-by: Georg Brandl <g.brandl@fz-juelich.de>
---
 ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 4925147..06c4366 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -45,7 +45,7 @@ echo "$changedFiles"
 if [[  -n "$changedFiles" ]]; then
    set -o pipefail
    pylint $changedFiles | tee pylint_results.txt
-   isort --df $changedFiles | tee isort_results.txt
+   isort --df $changedFiles || true | tee isort_results.txt
 fi
 """
     withCredentials([string(credentialsId: 'GERRITHTTP',