{"thread":{"id":"61442","subject":"[PATCH] ci: update coverity runs_on_pool reference","startedAt":"2024-05-09T16:15:13Z","lastAt":"2024-05-10T04:31:32Z","messageCount":2,"participants":["Jeff King","Patrick Steinhardt"],"isPatch":true,"patchVersion":1,"patchTotal":null},"messages":[{"id":"494355","messageId":"20240509161506.GA1707588@coredump.intra.peff.net","threadId":"61442","inReplyTo":null,"subject":"[PATCH] ci: update coverity runs_on_pool reference","fromName":"Jeff King","fromEmail":"peff@peff.net","sentAt":"2024-05-09T16:15:06Z","receivedAt":"2024-05-09T16:15:13Z","isPatch":true,"sender":{"key":"peff@peff.net","avatar":"https://avatars.githubusercontent.com/u/45925?v=4"},"body":"Commit 2d65e5b6a6 (ci: rename \"runs_on_pool\" to \"distro\", 2024-04-12)\nrenamed this variable for the main CI workflow, as well as in the ci/\nscripts. Because the coverity workflow also relies on those scripts to\ninstall dependencies, it needs to be updated, too. Without this patch,\nthe coverity build fails because we lack libcurl.\n\nSigned-off-by: Jeff King <peff@peff.net>\n---\nOn top of ps/ci-test-with-jgit, though that is now in master.\n\n .github/workflows/coverity.yml | 2 +-\n 1 file changed, 1 insertion(+), 1 deletion(-)\n\ndiff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml\nindex 53cf12fe04..48341e81f4 100644\n--- a/.github/workflows/coverity.yml\n+++ b/.github/workflows/coverity.yml\n@@ -45,7 +45,7 @@ jobs:\n       - run: ci/install-dependencies.sh\n         if: contains(matrix.os, 'ubuntu') || contains(matrix.os, 'macos')\n         env:\n-          runs_on_pool: ${{ matrix.os }}\n+          distro: ${{ matrix.os }}\n \n       # The Coverity site says the tool is usually updated twice yearly, so the\n       # MD5 of download can be used to determine whether there's been an update.\n-- \n2.45.0.414.g4009e73179\n"},{"id":"494388","messageId":"Zj2jHXYBW-lUNXWT@tanuki","threadId":"61442","inReplyTo":"20240509161506.GA1707588@coredump.intra.peff.net","subject":"Re: [PATCH] ci: update coverity runs_on_pool reference","fromName":"Patrick Steinhardt","fromEmail":"ps@pks.im","sentAt":"2024-05-10T04:31:25Z","receivedAt":"2024-05-10T04:31:32Z","isPatch":true,"sender":{"key":"ps@pks.im","avatar":"https://avatars.githubusercontent.com/u/4056630?v=4"},"body":"On Thu, May 09, 2024 at 12:15:06PM -0400, Jeff King wrote:\n> Commit 2d65e5b6a6 (ci: rename \"runs_on_pool\" to \"distro\", 2024-04-12)\n> renamed this variable for the main CI workflow, as well as in the ci/\n> scripts. Because the coverity workflow also relies on those scripts to\n> install dependencies, it needs to be updated, too. Without this patch,\n> the coverity build fails because we lack libcurl.\n\nAh, I missed that one. Thanks for the fix, which looks obviously good to\nme!\n\nPatrick\n"}]}