[PATCH 12/13] ci: Introduce Ubuntu 24.04