From 021d24d0cbff0b9ff1111e4e4e536b363475aa60 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 17 Jan 2026 05:22:00 -0800 Subject: [PATCH] Update C++ compiler version in cross-build workflow --- .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 c8fc6ac37..ca7c434ae 100644 --- a/.github/workflows/cross-build.yml +++ b/.github/workflows/cross-build.yml @@ -30,5 +30,5 @@ jobs: - 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)