From 475087c83c4d848d77e3e684403a504f92c5e1eb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 16 Jan 2026 21:29:17 -0800 Subject: [PATCH] Update GCC 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 828904f7c..d701d15d3 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++-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