# [PATCH] ci: update coverity runs_on_pool reference

2 messages from 2024-05-09 to 2024-05-10. Participants: Jeff King, Patrick Steinhardt.
Thread: https://gitlist.dev/t/61442

## Jeff King, 2024-05-09 16:15

Subject: [PATCH] ci: update coverity runs_on_pool reference
Message-ID: <20240509161506.GA1707588@coredump.intra.peff.net>
URL: https://gitlist.dev/e/20240509161506.GA1707588%40coredump.intra.peff.net

```
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.

Signed-off-by: Jeff King <peff@peff.net>
---
On top of ps/ci-test-with-jgit, though that is now in master.

 .github/workflows/coverity.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 53cf12fe04..48341e81f4 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -45,7 +45,7 @@ jobs:
       - run: ci/install-dependencies.sh
         if: contains(matrix.os, 'ubuntu') || contains(matrix.os, 'macos')
         env:
-          runs_on_pool: ${{ matrix.os }}
+          distro: ${{ matrix.os }}
 
       # The Coverity site says the tool is usually updated twice yearly, so the
       # MD5 of download can be used to determine whether there's been an update.
-- 
2.45.0.414.g4009e73179

```

## Patrick Steinhardt, 2024-05-10 04:31

Subject: Re: [PATCH] ci: update coverity runs_on_pool reference
Message-ID: <Zj2jHXYBW-lUNXWT@tanuki>
URL: https://gitlist.dev/e/Zj2jHXYBW-lUNXWT%40tanuki
In-Reply-To: <20240509161506.GA1707588@coredump.intra.peff.net>

```
On Thu, May 09, 2024 at 12:15:06PM -0400, Jeff King wrote:
> 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

```