diff --git a/scripts/sunnypilot/Jenkinsfile b/scripts/sunnypilot/Jenkinsfile index 7a5e869cbe..d6faa47a3c 100644 --- a/scripts/sunnypilot/Jenkinsfile +++ b/scripts/sunnypilot/Jenkinsfile @@ -27,7 +27,11 @@ pipeline { when { branch 'master' } + options { + timeout(time: 10, unit: 'MINUTES') + } steps { + input "Build staging-c3?" script { sshagent(['comma-three-ssh']) { withCredentials([string(credentialsId: 'comma-three-username-ip', variable: 'username_ip')]) {