From 356edcd25a870243281966524b26fc14267db8f2 Mon Sep 17 00:00:00 2001 From: Adam Kocoloski Date: Tue, 18 Jan 2022 16:23:09 -0500 Subject: Start per-stage timer _after_ agent is acquired --- build-aux/Jenkinsfile.full | 16 +++++++--------- 1 file 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 { -- cgit v1.2.1