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
Attachment:
signature.asc
Description: PGP signature
