CI: Coverity tweaks
authorAndrew Cooper <andrew.cooper3@citrix.com>
Sat, 19 Feb 2022 16:28:08 +0000 (16:28 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 21 Feb 2022 18:17:56 +0000 (18:17 +0000)
commit32c91e445d9fd3b079fa7fcccf900e866acbfe72
tree232940b96d9aa4e93ff930502782bcb810672a21
parent5de332588613ebe339f886488852972a5cc5c4cf
CI: Coverity tweaks

 * Use workflow_dispatch to allow manual creation of the job.
 * Use parallel builds; the workers have two vCPUs.  Also, use the build-*
   targets rather than the ones which expand to dist-*.
 * Shrink the dependency list further.  build-essential covers make and gcc,
   while bridge-utils and iproute2 are runtime dependencies not build
   dependencies.  Alter bzip2 to libbz2-dev.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
.github/workflows/coverity.yml