]> git.99rst.org Git - git.git/commit
git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b81fb)
ci: update coverity runs_on_pool reference
authorJeff King <redacted>
Thu, 9 May 2024 16:15:06 +0000 (12:15 -0400)
committerJunio C Hamano <redacted>
Thu, 9 May 2024 16:38:43 +0000 (09:38 -0700)
commit157ed03c8306596b40dba008a49c55064521393a
treed793f1e4ec06b713b1f6914c6ca810c80d3b0d45tree
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 <redacted>
Signed-off-by: Junio C Hamano <redacted>
.github/workflows/coverity.yml diff | blob | history
git clone https://git.99rst.org/PROJECT