[PATCH 3/3] ci: Drop Debian 10

[Erik Skultety]

On Fri, Jul 22, 2022 at 12:56:00PM +0200, Peter Krempa wrote:
> Debian 10 reaches EOL in August of 2022.
> 
> Signed-off-by: Peter Krempa <pkrempa at redhat.com>

While I don't have a serious issue with this patch which also conforms to our
platform policy I don't think we need to always be so keen on dropping
platforms ASAP manually. IOW I think all platform changes should be ideally be
performed with lcitool, which however, won't be able to drop Debian 10 so soon
sice QEMU will still likely rely on Debian 10 in their CI for a while unless
matters around platform support have changed in QEMU??. Since you moved the CI
workloads to Debian 11 in patch 2, leaving Debian 10 merely an optional job
doesn't particularly harm anything.

If nobody has any any objections against manually handling platform support
rather than with lcitool, FWIW:

# after the release
Reviewed-by: Erik Skultety <eskultet at redhat.com>