diff options
| author | Jeff King <peff@peff.net> | 2024-05-09 12:15:06 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-05-09 09:38:43 -0700 |
| commit | 157ed03c8306596b40dba008a49c55064521393a (patch) | |
| tree | d793f1e4ec06b713b1f6914c6ca810c80d3b0d45 /builtin/commit.c | |
| parent | 70b81fbf3c641435c5583e53ff78caa0aaef80ca (diff) | |
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>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions