ci: do not use ppa for cocci

As this version segfaults
4 years ago · a6cb539054
parent 3e19ccdc0c
commit a6cb539054
1 changed files with 0 additions and 1 deletions
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@ -1129,7 +1129,6 @@ jobs:
                texlive-latex-extra
      - name: Install Coccinelle
        run: |
-          add-apt-repository -y ppa:npalix/coccinelle
          apt -y install coccinelle
      - uses: actions/checkout@v2
      - uses: actions/download-artifact@v2