]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b81fb) | patch
ci: update coverity runs_on_pool reference
authorJeff King <peff@peff.net>
Thu, 9 May 2024 16:15:06 +0000 (12:15 -0400)
committerJunio C Hamano <gitster@pobox.com>
Thu, 9 May 2024 16:38:43 +0000 (09:38 -0700)
commit157ed03c8306596b40dba008a49c55064521393a
treed793f1e4ec06b713b1f6914c6ca810c80d3b0d45tree | snapshot
parent70b81fbf3c641435c5583e53ff78caa0aaef80cacommit | 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>
.github/workflows/coverity.yml diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.