On 03/28/2018 02:33 PM, Roger Pau Monné wrote: > Hello, > > According to the contribution guidelines document [0] the coverity > database of issues is private, which makes it hard for new people to > see issues. IMO it makes no sense to keep the result private anymore: > > - They have been audited for plenty of time by different people > that currently has access to the database. > - Anyone can reproduce the same results by forking Xen on github and > sending a build to coverity for analysis AFAICT. > > On the plus side, having the database open would allow us the > following: > > - Coverity reports could be sent to xen-devel, so anyone could pick > and fix new issues. > - Newcomers could use coverity in order to find small size tasks to > work on.
In general, +1 from me. But Stefano, was there some special circumstance for the ARM Coverity runs? -George _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
