From 261fef72ad0b318eda25b1249fd47e8cecd71b56 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Thu, 12 Oct 2023 22:27:53 +0200
Subject: [PATCH] CI: Workaround recently broken add-apt-repository on GHA

Hopefully adding the sources manually still works.
---
 .github/workflows/linux_builds.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/linux_builds.yml b/.github/workflows/linux_builds.yml
index 5dd0805d9afe..9212e4ddff28 100644
--- a/.github/workflows/linux_builds.yml
+++ b/.github/workflows/linux_builds.yml
@@ -92,7 +92,8 @@ jobs:
         if: ${{ matrix.proj-test }}
         run: |
           sudo rm -f /etc/apt/sources.list.d/microsoft-prod.list
-          sudo add-apt-repository ppa:kisak/turtle
+          sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys EB8B81E14DA65431D7504EA8F63F0F2B90935439
+          sudo add-apt-repository "deb https://ppa.launchpadcontent.net/kisak/turtle/ubuntu focal main"
           sudo apt-get install -qq mesa-vulkan-drivers
 
       - name: Free disk space on runner