Update Ubuntu image to ubuntu-24.04 in CI#34

cgcht wants to merge 3 commits intomasterKardinalAI/cp_sat:masterfrom

update_ciKardinalAI/cp_sat:update_ciCopy head branch name to clipboard