Commit 3dc238c393ca12d106803d6be8f5691606636f81

Edward Thomson 2020-11-18T19:30:13

coverity

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
new file mode 100644
index 0000000..99a4b15
--- /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 }}