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