aboutsummaryrefslogtreecommitdiff
path: root/scripts/coverity-scan/coverity-scan.docker
AgeCommit message (Expand)AuthorFilesLines
2020-06-12Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into stagingPeter Maydell1-1/+2
2020-06-10run-coverity-scan: download tools outside the containerPaolo Bonzini1-1/+2
2020-06-10run-coverity-scan: use docker.pyPaolo Bonzini1-1/+1
2020-06-08scripts/coverity-scan: Remove flex/bison packagesPhilippe Mathieu-Daudé1-2/+0
2020-04-14scripts/coverity-scan: Add Docker supportPeter Maydell1-0/+131