diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index b682f41c..dbb0d9cd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -124,11 +124,8 @@ pipeline { when { beforeOptions true beforeAgent true - // 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/*" } - not { changeset "**/packages/*" } + // Only run ISO image build process of explicit user request or + // once a night triggered by the timer. anyOf { triggeredBy 'TimerTrigger' triggeredBy cause: "UserIdCause" |