diff --git a/scripts/Jenkinsfiles/bokchoy b/scripts/Jenkinsfiles/bokchoy index 543d721cf2..0255dd6e11 100644 --- a/scripts/Jenkinsfiles/bokchoy +++ b/scripts/Jenkinsfiles/bokchoy @@ -29,7 +29,7 @@ pipeline { agent { label "jenkins-worker" } options { timestamps() - timeout(60) + timeout(75) } stages { stage('Mark build as pending on Github') {