diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index ccacaf9878..84740abd09 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -3,6 +3,7 @@ pipeline {
 
   options {
     disableConcurrentBuilds()
+    disableRestartFromStage()
     /* manage how many builds we keep */
     buildDiscarder(logRotator(
       numToKeepStr: '20',