diff options
author | Edward Thomson <ethomson@edwardthomson.com> | 2020-11-18 19:30:13 +0000 |
---|---|---|
committer | Edward Thomson <ethomson@edwardthomson.com> | 2020-11-18 19:30:13 +0000 |
commit | 3dc238c393ca12d106803d6be8f5691606636f81 (patch) | |
tree | cfcd91c78e0dc705849667828b3e493316907941 /.github | |
parent | 11deb143f7b466d932dde3abc49c17c0481ba3f4 (diff) | |
download | libgit2-3dc238c393ca12d106803d6be8f5691606636f81.tar.gz |
coverityethomson/actions
Diffstat (limited to '.github')
-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 }} |