diff options
| author | Junio C Hamano <gitster@pobox.com> | 2024-05-13 10:19:47 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-05-13 10:19:47 -0700 |
| commit | 537f17ec8bfe822037d5d72fa4e66463a7b47980 (patch) | |
| tree | 66f19ce9889a6d91c7a4cf950301d40ec72f612c /.github | |
| parent | 6cb0bd7fc3bee82d38d8cf99b9e1bbfa4d35a845 (diff) | |
| parent | 157ed03c8306596b40dba008a49c55064521393a (diff) | |
Merge branch 'jk/ci-test-with-jgit-fix'
CI fix.
* jk/ci-test-with-jgit-fix:
ci: update coverity runs_on_pool reference
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/coverity.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 53cf12fe04..48341e81f4 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -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. |