From 73078f11dcdc383246fefa50961a6a9bda6137cf Mon Sep 17 00:00:00 2001 From: Eric Lunderberg Date: Tue, 16 Jul 2024 16:34:24 -0500 Subject: [PATCH] [CI] Remove lint step from `unity/pr-head` step (#17155) * [CI] Remove lint step from `unity/pr-head` step This step should only be performed as part of the `lint/pr-head` CI step. It was included as part of the unity-specific CI steps prior to merging of unity into main. It is no longer necessary as part of `unity/pr-head`. * Revert the task_extra_lint.sh removal --- ci/jenkins/unity_jenkinsfile.groovy | 8 -------- 1 file changed, 8 deletions(-) mode change 100644 => 100755 ci/jenkins/unity_jenkinsfile.groovy diff --git a/ci/jenkins/unity_jenkinsfile.groovy b/ci/jenkins/unity_jenkinsfile.groovy old mode 100644 new mode 100755 index b9047e8b6f64..9b4f0009e344 --- a/ci/jenkins/unity_jenkinsfile.groovy +++ b/ci/jenkins/unity_jenkinsfile.groovy @@ -210,14 +210,6 @@ def lint(node_type) { ) skip_ci = should_skip_ci(env.CHANGE_ID) skip_slow_tests = should_skip_slow_tests(env.CHANGE_ID) - sh( - script: "${docker_run} ${ci_lint} ./tests/scripts/task_lint.sh", - label: 'Run lint', - ) - sh( - script: "${docker_run} ${ci_lint} ./tests/scripts/unity/task_extra_lint.sh", - label: 'Run extra lint', - ) } } }