summaryrefslogtreecommitdiff
path: root/scripts/coverity-scan/coverity-scan.docker
AgeCommit message (Expand)Author
2020-09-29Remove texinfo dependency from docker and CI configsPeter Maydell
2020-06-12Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into stagingPeter Maydell
2020-06-10run-coverity-scan: download tools outside the containerPaolo Bonzini
2020-06-10run-coverity-scan: use docker.pyPaolo Bonzini
2020-06-08scripts/coverity-scan: Remove flex/bison packagesPhilippe Mathieu-Daudé
2020-04-14scripts/coverity-scan: Add Docker supportPeter Maydell