1 files changed, 14 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 4f72c7bc..2f38294c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -165,6 +165,13 @@ pipeline {
     }
     stages {
         stage('Build ISO') {
+            when {
+                not {
+                    # No need to trigger a full ISO build when only the Docker
+                    # container definition changes
+                    changeset "**/docker/*"
+                }
+            }
             steps {
                 script {
                     def commitId = sh(returnStdout: true, script: 'git rev-parse --short=11 HEAD').trim()
@@ -182,6 +189,13 @@ pipeline {
             }
         }
         stage('Test ISO') {
+            when {
+                not {
+                    # No need to trigger a full ISO test when only the Docker
+                    # container definition changes
+                    changeset "**/docker/*"
+                }
+            }
             steps {
                 sh "sudo make test"
             }