From 2c00aa5def216251ef31732f1d484fae167a891d Mon Sep 17 00:00:00 2001
From: iTrooz <hey@itrooz.fr>
Date: Mon, 3 Jun 2024 10:06:49 +0200
Subject: [PATCH] fix: Do not use custom repo gcc 13 for Ubuntu because it
 doesn't run on vanilla Ubuntu (#1730)

---
 .github/workflows/build.yml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e3f3b5c8d..1fadf3344 100644
--- a/.github/workflows/build.yml
+++ b/.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                        \