fix: Do not use custom repo gcc 13 for Ubuntu because it doesn't run …

…on vanilla Ubuntu (#1730)

.github/workflows/build.yml

@@ -384,11 +384,6 @@ 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:
@@ -402,7 +397,7 @@ jobs:
           git config --global --add safe.directory '*'
           mkdir -p build
           cd build
-          CC=gcc-13 CXX=g++-13 cmake -G "Ninja"                       \
+          CC=gcc-12 CXX=g++-12 cmake -G "Ninja"                       \
             -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}                    \
             -DCMAKE_INSTALL_PREFIX="/usr"                             \
             -DCMAKE_C_COMPILER_LAUNCHER=ccache                        \