Add: [Jenkinsfile] rebase the pull-request on top of master (#6720)

This allows PRs to be a bit older, but still validate the correct result

1 files changed, 3 insertions, 0 deletions

diff --git a/Jenkinsfile b/Jenkinsfile
index 095425a73..2fb70d4b4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -52,6 +52,9 @@ node {
             // Ensure we also have origin/master available
             sh "git fetch --no-tags origin master:refs/remotes/origin/master"
 
+            // Try to rebase to origin/master; if this fails, fail the CI
+            sh "git rebase origin/master"
+
             stash name: "source", useDefaultExcludes: false
         }