Coverity run FAILED as of 2020-02-15 14:00:23 UTC


Noreply Jenkins
 

Coverity run failed today.

Current number of outstanding issues are 1
Newly detected: 0
Eliminated: 1
More details can be found at https://scan.coverity.com/projects/fd-io-vpp/view_defects

Join vpp-dev@lists.fd.io to automatically receive all group messages.