diff --git a/ci/Jenkinsfile.macos b/ci/Jenkinsfile.macos index 8ef01e7a95..2c5966abbd 100644 --- a/ci/Jenkinsfile.macos +++ b/ci/Jenkinsfile.macos @@ -21,7 +21,7 @@ pipeline { options { timestamps() /* Prevent Jenkins jobs from running forever */ - timeout(time: 20, unit: 'MINUTES') + timeout(time: 25, unit: 'MINUTES') /* manage how many builds we keep */ buildDiscarder(logRotator( numToKeepStr: '10',