On Fri, 30 Oct 2020 at 12:02, Christian Schoenebeck <[email protected]> wrote: > On Freitag, 30. Oktober 2020 12:44:18 CET Greg Kurz wrote: > It's not clear to me where this coverity report is accessible online. A quick > search only brought me to statistics about its latest check, but not the > details of the report you quoted.
https://scan.coverity.com/projects/qemu . To see the actual defect reports you need to create an account and request access to the QEMU project (we happily give access to developers, but it is a manual-approval process). > And more importantly: is there coverity CI support that one could enable on > github, so that pending patches were checked before upstream merge? No, unfortunately not. The Coverity free-for-open-source-projects system has a very limited number of scans it allows (for a project the size of ours just one a day) so we can't open it up to submaintainer branches or even use it on pull requests pre merge; the best we can do is running it on master daily. thanks -- PMM
