Jeff King 157ed03c83 ci: update coverity runs_on_pool reference ... 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> Signed-off-by: Junio C Hamano <gitster@pobox.com>		2024-05-09 09:38:43 -07:00
..
workflows	ci: update coverity runs_on_pool reference	2024-05-09 09:38:43 -07:00
CONTRIBUTING.md	docs: mention MyFirstContribution in more places	2020-06-08 15:12:28 -07:00
PULL_REQUEST_TEMPLATE.md	.github/PULL_REQUEST_TEMPLATE.md: add a note about single-commit PRs	2024-02-06 12:22:55 -08:00