From a6cb53905466ec50a9bd26e1b389a9fb940c1f7b Mon Sep 17 00:00:00 2001 From: Philippe Antoine Date: Mon, 17 Jan 2022 15:14:54 +0100 Subject: [PATCH] ci: do not use ppa for cocci As this version segfaults --- .github/workflows/builds.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 240c5be5be..0ca5ef8b4d 100644 --- 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 -- 2.47.2