[PATCH v2 08/10] ci: Drop Ubuntu 20.04