diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-03-31 13:48:44 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-04-20 11:17:36 +0200 |
| commit | 32a9d73579b3383cecee84683b1222615a0501bf (patch) | |
| tree | fa2634c38687a97f5358c2b3376c517b13432839 /stats | |
| parent | dd5b6780f78bcbfc2120d879b092a8380d8bc706 (diff) | |
coverity: unify Fedora dockerfiles
The Fedora CI and coverity runs are using a slightly different set of
packages. Copy most of the content over from tests/docker while
keeping the commands at the end that unpack the tools.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Message-Id: <20230331174844.376300-1-pbonzini@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'stats')
0 files changed, 0 insertions, 0 deletions