diff options
-rw-r--r-- | .github/workflows/coverity.yml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 000000000..99a4b151b --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,30 @@ +# 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 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 }} |