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

Re: [PATCH v2] .github/workflows: add coverity action

From
Jeff King <peff@peff.net>
Date
Sep 23, 2023, 07:09 UTC
Message-ID
<20230923070903.GD1471672@coredump.intra.peff.net>
In-Reply-To
<20230923062137.GB1469962@coredump.intra.peff.net>
On Sat, Sep 23, 2023 at 02:21:37AM -0400, Jeff King wrote:
> I'll take a look at the patches you posted.

OK, I just read over them. I do think the result is not much more complicated than using the vapier Action, and it fits our multi-platform needs a bit better.

I had a few small comments about curl usage, but it mostly looks like a good direction to me.

-Peff
Previous: Jeff KingNext: Jeff King
Message 12 of 13 in “.github/workflows: add coverity action”
  1. .github/workflows: add coverity actionTaylor Blau, Aug 22, 2023
  2. Jeff KingAug 25, 2023
  3. Jeff KingAug 25, 2023
  4. Johannes SchindelinAug 29, 2023
  5. Jeff KingAug 30, 2023
  6. Johannes SchindelinAug 30, 2023
  7. Jeff KingAug 30, 2023
  8. .github/workflows: add coverity actionTaylor Blau, Sep 21, 2023
  9. Junio C HamanoSep 21, 2023
  10. Johannes SchindelinSep 22, 2023
  11. Jeff KingSep 23, 2023
  12. Jeff KingSep 23, 2023
  13. Jeff KingSep 23, 2023

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.