diff options
author | Edward Thomson <ethomson@edwardthomson.com> | 2020-11-23 23:40:46 +0000 |
---|---|---|
committer | Edward Thomson <ethomson@edwardthomson.com> | 2020-11-23 23:41:40 +0000 |
commit | d9e62bdd85c25a671f6a2954c06bb372b492e374 (patch) | |
tree | b193447973a313a286b8bdf92047e3584e3e80d5 /.github/workflows | |
parent | 6a1c887eb7860626211235f7421b4d73815006b2 (diff) | |
download | libgit2-d9e62bdd85c25a671f6a2954c06bb372b492e374.tar.gz |
ci: move coverity into nightly builds
Diffstat (limited to '.github/workflows')
-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 }} |