diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2021-01-28 15:17:27 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@fd.io> | 2021-01-28 15:17:27 +0000 |
| commit | e4f82c8ae1ecb78a8541cba3d7859cf34a8916b5 (patch) | |
| tree | d332a6bb10a22503dd931448199db3fb22f8b949 /jenkins-config/global-vars-sandbox.sh | |
| parent | a6d0d842868c8bbab1e500fe03535b1dab85fed4 (diff) | |
| parent | d75b6bb8373eb649eb694113f73a9207cce3602f (diff) | |
Merge "Skip VPP build for merge jobs with Gerrit ID != git HEAD."
Diffstat (limited to 'jenkins-config/global-vars-sandbox.sh')
0 files changed, 0 insertions, 0 deletions