From a574f97ebd6ad622708ce3fd20e2ea0ee1755485 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Fri, 16 Jan 2026 19:53:36 -0800
Subject: [PATCH] Update cross-build workflow to GCC 12 for C++20 support
 (#8220)

* Initial plan

* Update cross-build workflow to use g++-12 for C++20 support

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/cross-build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/cross-build.yml b/.github/workflows/cross-build.yml
index 907beb9b3..771f5f7f4 100644
--- a/.github/workflows/cross-build.yml
+++ b/.github/workflows/cross-build.yml
@@ -22,12 +22,12 @@ jobs:
       uses: actions/checkout@v6.0.1
 
     - name: Install cross build tools
-      run:  apt update && apt install -y ninja-build cmake python3 g++-11-${{ matrix.arch }}-linux-gnu
+      run:  apt update && apt install -y ninja-build cmake python3 g++-12-${{ 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++-11 ../
+          cmake -DCMAKE_CXX_COMPILER=${{ matrix.arch }}-linux-gnu-g++-12 ../
           make -j$(nproc)