ci: do not use ppa for cocci

As this version segfaults

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 240c5be5be437083ee6cf956cd9d8d42b5bffd43..0ca5ef8b4d1b127f5c6f13fef9b08f65e36dc6e0 100644 (file)
--- 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