git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH 2/2] ci: bump ubuntu image version for static-analysis job

From
Patrick Steinhardt <ps@pks.im>
Date
Aug 7, 2026, 10:24 UTC
Message-ID
<anWyV9Q4Cmsa5AoT@pks.im>
In-Reply-To
<20260726083905.GB3529069@coredump.intra.peff.net>
On Sun, Jul 26, 2026 at 04:39:05AM -0400, Jeff King wrote:
Show 7 quoted lines
> We recently ran into a case[1] where old versions of coccinelle ran very
> slowly, but newer ones are fine. The version we use in GitHub's CI was
> the old slow version, leading to timeouts of the static-analysis job.
> 
> We get the old version because we ask for the ubuntu-22.04 image. That
> has coccinelle 1.1.1, but the "fast" improvement is in coccinelle 1.3.0,
> specifically their 58619b8fe (break up envs for e1 & e2, 2024-08-18).

I have been wondering about slow Coccinelle for a while now. Making things faster via a simple version upgrade is great, as it comes almost for free.

But that being said, we also have a bunch of Coccinelle rules nowadays, and my gut feeling tells me that there's a bunch of them that aren't useful anymore. "refs", "object_id", "the_repository", "git_config_number", "index-compatibility" and "context_fn_ctx" all look like files that we could probably just get rid of because we have long done the migrations, and it's unlikely anybody still has patches that use the pre-migration variants.

They'd of course require a bit of a deeper look, but that could be another way to speed up Coccinelle for us. Even though I cannot say for sure by how much, I didn't give it a test.

Thanks!
Patrick
Previous: Jeff KingNext: Junio C Hamano
Message 4 of 13 in “bump static-analysis ci image version”
  1. 0/2 bump static-analysis ci image versionJeff King, Jul 26, 2026
  2. 1/2 bloom: silence CHECK_ASSERTION_SIDE_EFFECTS false positiveJeff King, Jul 26, 2026
  3. 2/2 ci: bump ubuntu image version for static-analysis jobJeff King, Jul 26, 2026
  4. Patrick SteinhardtAug 7, 2026
  5. Junio C HamanoAug 7, 2026
  6. Patrick SteinhardtAug 10, 2026
  7. Junio C HamanoAug 10, 2026
  8. Patrick SteinhardtAug 11, 2026
  9. Jeff KingSep 5, 2026
  10. Elijah NewrenAug 7, 2026
  11. SZEDER GáborAug 8, 2026
  12. Jeff KingSep 5, 2026
  13. Junio C HamanoJul 26, 2026

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.