Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Upgrade Coverity version to 2019 version #2999
Coverity Upgrade to 2019.03
Image update is rolling now. This issue will be closed when its done. Note however that this issue is related only to
Meanwhile use this script to install this on-the-fly. It will consume about 2 minutes of the build time.