aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorMatias Elo <matias.elo@nokia.com>2022-07-01 11:33:55 +0300
committerMatias Elo <matias.elo@nokia.com>2022-07-04 09:47:44 +0300
commit8246a930b999940020cf26315c2e687d9461bbd1 (patch)
treee0377ca6815f7401cacb896f033305e15a42ff02 /.github
parentc8690d3e9dccc29fc9ac4005258d397abe8d4859 (diff)
github_ci: disable coverity emails
Disable daily Coverity scan emails to the mailing list. Signed-off-by: Matias Elo <matias.elo@nokia.com> Reviewed-by: Tuomas Taipale <tuomas.taipale@nokia.com>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/coverity.yml2
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 207e158e0..9c031ed8a 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -8,7 +8,6 @@ env:
ARCH: x86_64
CONTAINER_NAMESPACE: ghcr.io/opendataplane/odp-docker-images
OS: ubuntu_20.04
- COVERITY_EMAIL: odp@lists.opendataplane.org
COVERITY_PROJECT: ODP
jobs:
@@ -19,7 +18,6 @@ jobs:
- 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 }}"
- -e COVERITY_EMAIL="${COVERITY_EMAIL}"
-e COVERITY_PROJECT="${COVERITY_PROJECT}"
${CONTAINER_NAMESPACE}/odp-ci-${OS}-${ARCH}-coverity-linux-generic
/odp/scripts/ci/coverity.sh