Remove unneeded additional apt repo

Mudlet · Jun 11, 2021 · 9db82e9 · 9db82e9
1 parent dabdc7b
commit 9db82e9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/build-mudlet.yml b/.github/workflows/build-mudlet.yml
@@ -144,8 +144,6 @@ jobs:
     - name: (Linux) Install non-vcpkg dependencies
       if: runner.os == 'Linux'
       run: |
-        # workaround to install libzip-dev in Github Actions
-        #sudo apt-add-repository "ppa:ondrej/php" -y
         sudo apt-get update
 
         # Install from vcpkg everything we can for cross-platform consistency