diff options
author | 2016-09-16 15:22:02 +0000 | |
---|---|---|
committer | 2016-09-16 15:22:02 +0000 | |
commit | cf1e34b144f2af120bfa86f0a5cb6e7a2a86cb54 (patch) | |
tree | 409e5557535ed93db4b255ac6886ee0a3ad928c1 /jjb/vpp | |
parent | d35dee5652a1c37ad3a659afd8469aeb9b44b77d (diff) | |
parent | 75e39404150f4730c451353b85cb143503382350 (diff) |
Merge "Configuring minions as single use"
Diffstat (limited to 'jjb/vpp')
-rw-r--r-- | jjb/vpp/vpp.yaml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/jjb/vpp/vpp.yaml b/jjb/vpp/vpp.yaml index 1d2071ad5..7439634db 100644 --- a/jjb/vpp/vpp.yaml +++ b/jjb/vpp/vpp.yaml @@ -88,6 +88,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - gerrit-trigger-patch-submitted: @@ -131,6 +133,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - gerrit: @@ -190,6 +194,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - gerrit-trigger-patch-merged: @@ -253,6 +259,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - gerrit-trigger-patch-submitted: @@ -309,6 +317,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - gerrit-trigger-manually-triggered: |