Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'remotes/bonzini/tags/for-upstream' into staging | Peter Maydell | 2020-06-13 | 2 | -54/+88 |
|\ | |||||
| * | run-coverity-scan: support --update-tools-only --docker | Paolo Bonzini | 2020-06-10 | 1 | -16/+23 |
| * | run-coverity-scan: download tools outside the container | Paolo Bonzini | 2020-06-10 | 2 | -21/+24 |
| * | run-coverity-scan: use --no-update-tools in docker run | Paolo Bonzini | 2020-06-10 | 1 | -6/+5 |
| * | run-coverity-scan: add --no-update-tools option | Paolo Bonzini | 2020-06-10 | 1 | -14/+23 |
| * | run-coverity-scan: use docker.py | Paolo Bonzini | 2020-06-10 | 2 | -12/+22 |
| * | run-coverity-scan: get Coverity token and email from special git config section | Paolo Bonzini | 2020-06-10 | 1 | -9/+15 |
* | | scripts/coverity-scan: Remove flex/bison packages | Philippe Mathieu-Daudé | 2020-06-08 | 1 | -2/+0 |
|/ | |||||
* | scripts/coverity-scan: Add Docker support | Peter Maydell | 2020-04-14 | 2 | -0/+221 |
* | scripts/run-coverity-scan: Script to run Coverity Scan build | Peter Maydell | 2020-04-14 | 1 | -0/+311 |