CI: Workaround recently broken add-apt-repository on GHA

Hopefully adding the sources manually still works.
godotengine · Oct 12, 2023 · 261fef7 · 261fef7
1 parent b137180
commit 261fef7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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