diff options
| -rw-r--r-- | Jenkinsfile.docker | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile.docker b/Jenkinsfile.docker index 7dd54d1d..6a4b6d4c 100644 --- a/Jenkinsfile.docker +++ b/Jenkinsfile.docker @@ -32,6 +32,7 @@ pipeline { // once a night triggered by the timer. anyOf { changeset pattern: "**/docker/*" + changeset pattern: "**/Jenkinsfile.docker" triggeredBy cause: "UserIdCause" } } |