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