Commit d9e62bdd85c25a671f6a2954c06bb372b492e374
2020-11-23T23:40:46
ci: move coverity into nightly builds
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
deleted file mode 100644
index a29030c..0000000
--- 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 7bafaa6..58ea98d 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 }}