Move GCC-13 CI job to Ubuntu 24.04#8320

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/gcc-13-jobtautschnig/cbmc:bugfixes/gcc-13-jobCopy head branch name to clipboard