diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 338d535c261fb89762b6a977398aa4bf0fc7d736..4e942f7bfe706a423ccd10529603dbfbe1f1b549 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -9,21 +9,20 @@ on: env: GITHUB_REPO: pmem/pmdk DOCKER_REPO: pmem/pmdk + COVERITY_SCAN_NOTIFICATION_EMAIL: ${{ secrets.COVERITY_SCAN_NOTIFICATION_EMAIL }} + COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} + HOST_WORKDIR: /home/runner/work/pmdk/pmdk + WORKDIR: utils/docker + PMDK_CC: gcc + PMDK_CXX: g++ + MAKE_PKG: 0 + REMOTE_TESTS: 1 + VALGRIND: 1 jobs: linux: name: Linux runs-on: ubuntu-latest - env: - COVERITY_SCAN_NOTIFICATION_EMAIL: ${{ secrets.COVERITY_SCAN_NOTIFICATION_EMAIL }} - COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }} - HOST_WORKDIR: /home/runner/work/pmdk/pmdk - WORKDIR: utils/docker - PMDK_CC: gcc - PMDK_CXX: g++ - MAKE_PKG: 0 - REMOTE_TESTS: 1 - VALGRIND: 1 strategy: matrix: CONFIG: ["COVERITY=1 OS=ubuntu OS_VER=19.10"]