[libvirt PATCH] ci: integration: Rename all Avocado standard stream log files to *.log

[Andrea Bolognani]

On Tue, Mar 22, 2022 at 01:11:22PM +0100, Erik Skultety wrote:
> Since GitLab sets a proper MIME for .txt and .log file extensions,
> rename all Avocado log files without an extension to *.log . This pairs
> nicely with the coredumpctl info file which we already name as
> 'coredumpctl.txt' because of this.

Just a nit that you should feel free to ignore, especially seeing how
you've already pushed this patch, but isn't what you've written above
an argument for either using .txt here or using .log for the
coredumpctl case too?

-- 
Andrea Bolognani / Red Hat / Virtualization