diff options
author | Adam Kocoloski <kocolosk@apache.org> | 2022-01-18 16:23:09 -0500 |
---|---|---|
committer | Adam Kocoloski <kocolosk@apache.org> | 2022-01-19 21:45:35 -0500 |
commit | 28cd525dbfd423985fd5edd386c12358caf90fb7 (patch) | |
tree | bfd13bfef3935f97b587897a8010d6371bdfe7de | |
parent | f0c561dacea5870132d7dd8baa573b024f8becc6 (diff) | |
download | couchdb-28cd525dbfd423985fd5edd386c12358caf90fb7.tar.gz |
Start per-stage timer _after_ agent is acquiredjenkins-dynamic-matrix
-rw-r--r-- | build-aux/Jenkinsfile.full | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/build-aux/Jenkinsfile.full b/build-aux/Jenkinsfile.full index 7d089f811..328812ced 100644 --- a/build-aux/Jenkinsfile.full +++ b/build-aux/Jenkinsfile.full @@ -275,16 +275,14 @@ pipeline { // TODO find a way to avoid setting this explicitly spidermonkey = '78' } - options { - // TODO start this timeout _after_ the agent has been acquired if possible - timeout(time: 15, unit: "MINUTES") - } steps { - sh (script: 'rm -rf apache-couchdb-*', label: 'Clean workspace of any previous release artifacts' ) - sh "./configure --spidermonkey-version ${spidermonkey}" - sh 'make erlfmt-check' - sh 'make elixir-check-formatted' - sh 'make dist' + timeout(time: 15, unit: "MINUTES") { + sh (script: 'rm -rf apache-couchdb-*', label: 'Clean workspace of any previous release artifacts' ) + sh "./configure --spidermonkey-version ${spidermonkey}" + sh 'make erlfmt-check' + sh 'make elixir-check-formatted' + sh 'make dist' + } } post { success { |