From 5fb260b32052813878d98286d065615183e6bb68 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 17 Jan 2026 13:19:51 +0000
Subject: [PATCH] Update to Ubuntu 24.04 to support GCC 13 cross-compilers

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/cross-build.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/cross-build.yml b/.github/workflows/cross-build.yml
index 828904f7c..df75d66be 100644
--- a/.github/workflows/cross-build.yml
+++ b/.github/workflows/cross-build.yml
@@ -11,7 +11,7 @@ permissions:
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: ubuntu:jammy
+    container: ubuntu:24.04
 
     strategy:
       fail-fast: false
@@ -23,12 +23,12 @@ jobs:
       uses: actions/checkout@v6.0.1
 
     - name: Install cross build tools
-      run:  apt update && apt install -y ninja-build cmake python3 g++-12-${{ matrix.arch }}-linux-gnu
+      run:  apt update && apt install -y ninja-build cmake python3 g++-13-${{ matrix.arch }}-linux-gnu
       env:
         DEBIAN_FRONTEND: noninteractive
 
     - name: Configure CMake and build
       run: |
           mkdir build && cd build
-          cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-12 ../
+          cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-13 ../
           make -j$(nproc)