projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f05a7fa) | patch
CI/Coverity: Do not build QEMU, SeaBIOS or OVMF
authorRoger Pau Monne <roger.pau@citrix.com>
Fri, 18 Feb 2022 12:00:42 +0000 (13:00 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 18 Feb 2022 17:07:53 +0000 (17:07 +0000)
commit686f13cfce1d95464ff39fb59ac1f85163cea03b
treedbce8e3d945fbdd829d96fbc5b74e1f1eee375e0tree | snapshot
parentf05a7fa20808b8ffae7348612ca80d795e348ea0commit | diff
CI/Coverity: Do not build QEMU, SeaBIOS or OVMF

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>
.github/workflows/coverity.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.