diff options
| -rw-r--r-- | Jenkinsfile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 2f38294c..21a24481 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -167,8 +167,8 @@ pipeline { stage('Build ISO') { when { not { - # No need to trigger a full ISO build when only the Docker - # container definition changes + // No need to trigger a full ISO build when only the Docker + // container definition changes changeset "**/docker/*" } } @@ -191,8 +191,8 @@ pipeline { stage('Test ISO') { when { not { - # No need to trigger a full ISO test when only the Docker - # container definition changes + // No need to trigger a full ISO test when only the Docker + // container definition changes changeset "**/docker/*" } } |