Re: [PATCH 01/17] ci: Drop Ubuntu 1804