On 8/22/2022 6:26 PM, SZEDER Gábor wrote:

On Mon, Aug 22, 2022 at 11:19:11AM -0400, Derrick Stolee wrote:

quoted

While preparing my latest series, I noticed that the GitHub Actions CI
builds were cancelling the 'static-analysis' job because of a brownout of
Ubuntu 18.04. We are recommended to upgrade to 20.04.

However, we explicitly chose 18.04 in d051ed77ee6
(.github/workflows/main.yml: run static-analysis on bionic, 2021-02-08)
because coccinelle was not available in 20.04. It still isn't available
since I tried the basic update and it failed [1]

[1] https://github.com/gitgitgadget/git/runs/7955077955?check_suite_focus=true#step:3:98

Does anyone have an idea of how to install coccinelle on this newer
version? 

Containers?  I've built Docker containers from most recent Coccinelle
versions and used to use them in my custom Travis CI build jobs; the
version included in Ubuntu 18.04 is rather old, and apparently it
doesn't catch some transformations that later versions do [1].  I'm
sure it's somehow possible to use such containers in GitHub Actions as
well.

quoted

Should we try compiling it from source for this job?

It's not that difficult to build Coccinelle from source once you
figure out its OCaml dependencies...  And luckily those dependencies
seem to be rather stable: we can pass the same dozen or so package
names to 'apt-get' to install all its build dependencies both on
ubuntu:18.04 and :20.04 base images.

These are both good ideas to consider if we need to in the future,
but it turns out that we can jump over 20.04 to 22.04 and that has
the correct feeds to install Coccinelle. I submitted an update [1].

[1] https://lore.kernel.org/git/pull.1334.git.1661275691795.gitgitgadget@gmail.com (local)

However, installing dependencies and building Coccinelle takes almost
5 minutes on my machine; I don't think we'd want to add that much
overhead to every CI build.

quoted

Should we
consider moving off of coccinelle and onto a different tool?

Is there any other comparable tool out there?!

I didn't have one in mind, but maybe someone else did? You make me
think that there is not, which isn't surprising.

Thanks,
-Stolee