diff options
| -rw-r--r-- | .github/workflows/coverity.yml | 30 | ||||
| -rw-r--r-- | .github/workflows/nightly.yml | 18 |
2 files changed, 18 insertions, 30 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml deleted file mode 100644 index a29030cbc..000000000 --- a/.github/workflows/coverity.yml +++ /dev/null @@ -1,30 +0,0 @@ -# Nightly build for the master branch running coverity. -name: Coverity Build - -on: - workflow_dispatch: - schedule: - - cron: '15 2 * * *' - -env: - docker-registry: docker.pkg.github.com - docker-config-path: ci/docker - -jobs: - build: - name: Coverity - runs-on: ubuntu-latest - steps: - - name: Check out repository - uses: actions/checkout@v2 - with: - fetch-depth: 0 - - name: Download container - run: ci/getcontainer.sh xenial - env: - DOCKER_REGISTRY: ${{ env.docker-registry }} - GITHUB_TOKEN: ${{ secrets.github_token }} - - name: Run Coverity - run: ci/coverity.sh - env: - COVERITY_TOKEN: ${{ secrets.coverity_token }} diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index 7bafaa606..58ea98d92 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -235,3 +235,21 @@ jobs: ../ci/test.sh fi shell: bash + + coverity: + name: Coverity + runs-on: ubuntu-latest + steps: + - name: Check out repository + uses: actions/checkout@v2 + with: + fetch-depth: 0 + - name: Download container + run: ci/getcontainer.sh ci/docker/xenial + env: + DOCKER_REGISTRY: ${{ env.docker-registry }} + GITHUB_TOKEN: ${{ secrets.github_token }} + - name: Run Coverity + run: ci/coverity.sh + env: + COVERITY_TOKEN: ${{ secrets.coverity_token }} |