mirror/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-10-18 13:28:56 +02:00
Code

Merge branch 'jk/ci-test-with-jgit-fix'

Browse Source 
CI fix.

* jk/ci-test-with-jgit-fix:
  ci: update coverity runs_on_pool reference
This commit is contained in:
Junio C Hamano 2024-05-13 10:19:47 -07:00
commit 537f17ec8b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/coverity.yml vendored
View File

@ -45,7 +45,7 @@ jobs:
- run: ci/install-dependencies.sh
if: contains(matrix.os, 'ubuntu') || contains(matrix.os, 'macos')
env:
runs_on_pool: ${{ matrix.os }}
distro: ${{ matrix.os }}
# The Coverity site says the tool is usually updated twice yearly, so the
# MD5 of download can be used to determine whether there's been an update.