diff --git a/dawn-docs/dev b/dawn-docs/dev index e8fc66667ed810e68006e861e2800b227111c7ed..55ed350ec97610e9633df35cc189358752c54edf 100644 --- a/dawn-docs/dev +++ b/dawn-docs/dev @@ -34,6 +34,9 @@ pipeline { } stage('copy build') { + options { + timeout(time: 5, unit: 'MINUTES') + } steps { sh ''' sudo rm -rf /var/www/dawn_docs/public