diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-18 08:51:52 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-19 20:40:29 +0200 |
| commit | 9fd9f3952f20046dd454f85dc46c9d13af50c700 (patch) | |
| tree | 5f79afc05a718c450d0be87f080bd40c90c931b7 /scripts/modinfo-generate.py | |
| parent | d37c21b5fb34aaa01eeabf75a57cf141d76af42f (diff) | |
gitlab: custom-runners: preserve more artifacts for debugging
Since custom runners are not generally available, make it possible to
debug the differences between a successful and a failing build by
comparing the logs and the build.ninja rules.
Acked-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/modinfo-generate.py')
0 files changed, 0 insertions, 0 deletions