[PATCH 0/2] ci: Bump to Debian 13 and drop Cirrus