summaryrefslogtreecommitdiff
path: root/.github
Commit message (Collapse)AuthorAgeFilesLines
* CI: Coverity tweaksAndrew Cooper2022-02-211-7/+8
| | | | | | | | | | | | * 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>
* CI/Coverity: Do not build QEMU, SeaBIOS or OVMFRoger Pau Monne2022-02-181-11/+11
| | | | | | | | | | | Such external projects should have their own Coverity runs, and there's not much point in also making them part of our scan (apart from greatly increasing the amount of code scanned). Trim the dependencies now that QEMU is not built. Signed-off-by: Roger Pau Monné <roger.pau@citrix.com> Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
* CI: add github workflow to run Coverity scansRoger Pau Monne2022-02-181-0/+41
Add a workflow that performs a build like it's done by osstest Coverity flight and uploads the result to Coverity for analysis. The build process is exactly the same as the one currently used in osstest, and it's also run at the same time (bi-weekly). This has one big benefit over using osstest: we no longer have to care about keeping the Coverity tools up to date in osstest. Suggested-by: Andrew Cooper <andrew.cooper3@citrix.com> Signed-off-by: Roger Pau Monné <roger.pau@citrix.com> Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>