diff --git a/Jenkinsfile b/Jenkinsfile index c089058a9bb2f2265a5cb9a6ccba16e66f789415..d5d8a189fe7484e37f17857a443722883c07f1ee 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,8 +9,7 @@ pipeline { pattern: 'dhtnet']], triggerOnEvents: [ commentAddedContains('!build'), - patchsetCreated(excludeDrafts: true, excludeNoCodeChange: true, - excludeTrivialRebase: true)] + patchsetCreated(excludeDrafts: true, excludeNoCodeChange: true)] } options { ansiColor('xterm')