Re: [PATCH 2/2] CI: Move to latest Ubuntu "Jammy" tag