diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 19227442..d865fea1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -169,13 +169,10 @@ pipeline { beforeOptions true beforeAgent true 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/*" - changeset "**/vars/*" - } + // 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/*" } triggeredBy 'TimerTrigger' triggeredBy cause: "UserIdCause" } @@ -202,13 +199,10 @@ pipeline { beforeOptions true beforeAgent true 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/*" - changeset "**/vars/*" - } + // 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/*" } triggeredBy 'TimerTrigger' triggeredBy cause: "UserIdCause" } |