diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 4633faf965de..1e59b6d0ac67 100644 --- 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/checkout@v3.5.3 - uses: actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a