diff options
Diffstat (limited to 'Jenkinsfile.docker')
| -rw-r--r-- | Jenkinsfile.docker | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jenkinsfile.docker b/Jenkinsfile.docker index b2417441..5216ff2b 100644 --- a/Jenkinsfile.docker +++ b/Jenkinsfile.docker @@ -34,7 +34,8 @@ pipeline { // Only run ISO image build process of explicit user request or // once a night triggered by the timer. anyOf { - changeset pattern: "**/docker/*, **/Jenkinsfile.docker" + changeset pattern: "**/docker/*" + changeset pattern: "**/Jenkinsfile.docker" triggeredBy cause: "UserIdCause" } } |