diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2020-09-09 16:21:36 +0000 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2020-09-09 16:21:36 +0000 |
| commit | 8679b9da45f922fd89d005323ab3bfc6d4bdbb2a (patch) | |
| tree | ed0fccf3df1e6dee79c58e3cadbaaf9dd2b817e1 /nodepool | |
| parent | f08206570e268224136e9427fd4d92842fad0be4 (diff) | |
jjb: remove VPP coverity job
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Change-Id: I7f5d1fec7a811908860816e8ba23c0a700dfadd5
Diffstat (limited to 'nodepool')
0 files changed, 0 insertions, 0 deletions