Revert "ci: do not use ppa for cocci"

This reverts commit a6cb539.
OISF · Jul 6, 2023 · e2d7efc · e2d7efc
1 parent 9b09b29
commit e2d7efc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
@@ -2091,6 +2091,7 @@ jobs:
                 texlive-latex-extra
       - name: Install Coccinelle
         run: |
+          add-apt-repository -y ppa:npalix/coccinelle
           apt -y install coccinelle
       - uses: actions/[email protected]
       - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a