chore(jenkins): Use the name ignored for an ignored exception

This fixes an inspection hint. Signed-off-by: Sebastian Schuberth <[email protected]>
oss-review-toolkit · Nov 22, 2023 · 333d1d7 · 333d1d7
1 parent fced3d8
commit 333d1d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/integrations/jenkins/Jenkinsfile b/integrations/jenkins/Jenkinsfile
@@ -413,7 +413,7 @@ pipeline {
 
                             currentBuild.displayName += ": $rootProjectId"
                         }
-                    } catch (IOException e) {
+                    } catch (IOException ignored) {
                         // Ignore and just skip setting a custom display name.
                     }
                 }