diff options
| -rw-r--r-- | Jenkinsfile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 17f0ca51..ceaae5da 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -120,12 +120,12 @@ pipeline { when { beforeOptions true beforeAgent true + // Do not run ISO build when the Docker container definition or the build pipeline + // library changes as this has no direct impact on the ISO image. + not { changeset "**/docker/*" } + not { changeset "**/vars/*" } + not { changeset "**/packages/*" } anyOf { - // Do not run ISO build when the Docker container definition or the build pipeline - // library changes as this has no direct impact on the ISO image. - not { changeset "**/docker/*" } - not { changeset "**/vars/*" } - not { changeset "**/packages/*" } triggeredBy 'TimerTrigger' triggeredBy cause: "UserIdCause" } |