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

Re: [PATCH] ci: update coverity runs_on_pool reference

From
Patrick Steinhardt <ps@pks.im>
Date
May 10, 2024, 04:31 UTC
Message-ID
<Zj2jHXYBW-lUNXWT@tanuki>
In-Reply-To
<20240509161506.GA1707588@coredump.intra.peff.net>
On Thu, May 09, 2024 at 12:15:06PM -0400, Jeff King wrote:
Show 5 quoted lines
> Commit 2d65e5b6a6 (ci: rename "runs_on_pool" to "distro", 2024-04-12)
> renamed this variable for the main CI workflow, as well as in the ci/
> scripts. Because the coverity workflow also relies on those scripts to
> install dependencies, it needs to be updated, too. Without this patch,
> the coverity build fails because we lack libcurl.

Ah, I missed that one. Thanks for the fix, which looks obviously good to me!

Patrick
Previous: Jeff King
Message 2 of 2 in “ci: update coverity runs_on_pool reference”
  1. ci: update coverity runs_on_pool referenceJeff King, May 9, 2024
  2. Patrick SteinhardtMay 10, 2024

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.