From 8294244ee41fd60fe0098025fd692f45d621580c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 17 Jan 2026 05:39:59 +0000
Subject: [PATCH] Fix cross-build workflow to use g++-12 instead of g++-13

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

diff --git a/.github/workflows/cross-build.yml b/.github/workflows/cross-build.yml
index d701d15d3..828904f7c 100644
--- a/.github/workflows/cross-build.yml
+++ b/.github/workflows/cross-build.yml
@@ -23,7 +23,7 @@ jobs:
       uses: actions/checkout@v6.0.1
 
     - name: Install cross build tools
-      run:  apt update && apt install -y ninja-build cmake python3 g++-13-${{ matrix.arch }}-linux-gnu
+      run:  apt update && apt install -y ninja-build cmake python3 g++-12-${{ matrix.arch }}-linux-gnu
       env:
         DEBIAN_FRONTEND: noninteractive