Skip to content

Commit 3dc238c

Browse files
committed
coverity
1 parent 11deb14 commit 3dc238c

1 file changed

Lines changed: 30 additions & 0 deletions

File tree

.github/workflows/coverity.yml

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
# Nightly build for the master branch running coverity.
2+
name: Coverity Build
3+
4+
on:
5+
workflow_dispatch:
6+
schedule:
7+
- cron: '15 2 * * *'
8+
9+
env:
10+
docker-registry: docker.pkg.github.com
11+
docker-config-path: ci/docker
12+
13+
jobs:
14+
build:
15+
name: Coverity
16+
runs-on: ubuntu-latest
17+
steps:
18+
- name: Check out repository
19+
uses: actions/checkout@v2
20+
with:
21+
fetch-depth: 0
22+
- name: Download container
23+
run: ci/getcontainer.sh ci/docker/xenial
24+
env:
25+
DOCKER_REGISTRY: ${{ env.docker-registry }}
26+
GITHUB_TOKEN: ${{ secrets.github_token }}
27+
- name: Run Coverity
28+
run: ci/coverity.sh
29+
env:
30+
COVERITY_TOKEN: ${{ secrets.coverity_token }}

0 commit comments

Comments
 (0)