diff options
| author | Matias Elo <matias.elo@nokia.com> | 2022-10-28 16:14:01 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-28 16:14:01 +0300 |
| commit | bdfef681d7849339946bd63151fa2875d9ee801d (patch) | |
| tree | ceec932bbc3f678f68ed91953dc83f3852f95df0 /.github/workflows/coverity.yml | |
| parent | 78066161560f2aa0ea829b1c435ab83809651162 (diff) | |
| parent | 196c01565be4017e1d4d29df1912014b71adc105 (diff) | |
Merge ODP v1.38.0.0v1.38.0.0_DPDK_19.11
Merge ODP linux-generic v1.38.0.0 into linux-dpdk.
Diffstat (limited to '.github/workflows/coverity.yml')
| -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 d62fff0a7..82bbe0c65 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -14,7 +14,7 @@ jobs: Coverity-analysis: runs-on: ubuntu-20.04 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - run: sudo docker run -i -v `pwd`:/odp --privileged --shm-size 8g -e CC="${CC}" -e GITHUB_SHA="${GITHUB_SHA}" -e COVERITY_TOKEN="${{ secrets.COVERITY_TOKEN }}" |