diff options
| author |   Andrew Grimberg <agrimberg@linuxfoundation.org> | 2016-09-23 19:43:04 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2016-09-23 19:43:04 +0000 |
| commit | ad89b9d0e707160b1b5f25a2ab47654f92ea26db (patch) | |
| tree | b66320c6b60cc3922c99a694458979150fb8373c /jjb | |
| parent | da383ade0f1ba898b7530c6970b439b722573e07 (diff) | |
| parent | 8b41fcefaf255afa6de0bad849e8edd402088eac (diff) | |
Merge "Configuring minions as single use"
Diffstat (limited to 'jjb')
| -rw-r--r-- | jjb/vpp/vpp.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jjb/vpp/vpp.yaml b/jjb/vpp/vpp.yaml index b9bcf6adf..3088e9e96 100644 --- a/jjb/vpp/vpp.yaml +++ b/jjb/vpp/vpp.yaml @@ -390,6 +390,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - gerrit-trigger-patch-submitted: @@ -448,6 +450,8 @@ - ssh-agent-credentials: users: - '{ssh-credentials}' + - fdio-infra-wrappers: + build-timeout: '{build-timeout}' triggers: - reverse: |