build: Reduce debug info produced (#1720)

.github/workflows/build.yml

@@ -384,6 +384,11 @@ jobs:
           apt update
           bash dist/get_deps_debian.sh
 
+          apt install software-properties-common -y
+          add-apt-repository ppa:ubuntu-toolchain-r/test -y
+          apt update
+          apt install -y gcc-13 g++-13
+
       - name: ⬇️ Install .NET
         uses: actions/setup-dotnet@v4
         with:
@@ -397,7 +402,7 @@ jobs:
           git config --global --add safe.directory '*'
           mkdir -p build
           cd build
-          CC=gcc-12 CXX=g++-12 cmake -G "Ninja"                       \
+          CC=gcc-13 CXX=g++-13 cmake -G "Ninja"                       \
             -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}                    \
             -DCMAKE_INSTALL_PREFIX="/usr"                             \
             -DCMAKE_C_COMPILER_LAUNCHER=ccache                        \