diff --git a/Jenkinsfile b/Jenkinsfile index 5fc6bb72f0ae32870696af98c68d8acb217a80b6..7e3cda3788421d4830f9c46dcba47166c94bd7e0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,6 +24,14 @@ pipeline { stage_required.full = true return true } + def causes = currentBuild.rawBuild.getCauses() + for(cause in causes) { + if (cause.class.toString().contains("UserIdCause")) { + echo "Doing full build because job was started by user." + stage_required.full = true + return true + } + } if (env.JOB_NAME == "ufz/ogs/master") { stage_required.web = true }