From 6864a2015a6abf44114879c54240d3a354aa6a3e Mon Sep 17 00:00:00 2001 From: Simo Sorce Date: Tue, 26 Jul 2022 05:39:17 -0400 Subject: [PATCH] Run coverity if there was any commit in the week Signed-off-by: Simo Sorce --- .github/workflows/coverity.yml | 39 ++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 .github/workflows/coverity.yml diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml new file mode 100644 index 0000000..3832e0f --- /dev/null +++ b/.github/workflows/coverity.yml @@ -0,0 +1,39 @@ +name: Coverity Scan + +on: + push: + branches: [ "main" ] + schedule: + - cron: '13 2 * * 0' + +jobs: + coverity: + name: Coverity Scan + runs-on: ubuntu-22.04 + steps: + - name: Checkout repository + uses: actions/checkout@v2 + - name: Install dependencies + run: | + sudo apt-get update + sudo apt-get install -y build-essential autopoint clang gcc docbook-{xsl,xml} libxml2-utils xml-core xsltproc lib{krb5,ini-config,keyutils,popt,selinux1,systemd,verto}-dev lib{nss,socket}-wrapper python3{,-colorama} valgrind krb5-{kdc,admin-server,kdc-ldap} ldap-utils slapd apparmor-utils + - name: Silence AppArmor + run: sudo aa-complain $(which slapd) + - name: Setup + run: | + autoreconf -fiv + ./configure + - name: Check for changes + run: | + echo "RUN_COV=0" >> $GITHUB_ENV; + DIFF=`git log --since=1week | wc -l` + if [ x${DIFF} != "x0" ]; then + echo "RUN_COV=1" >> $GITHUB_ENV; + fi + - name: Coverity Scan + if: env.RUN_COV == 1 + uses: vapier/coverity-scan-action@v1 + with: + project: "gssproxy" + email: ${{ secrets.COVERITY_SCAN_EMAIL }} + token: ${{ secrets.COVERITY_SCAN_TOKEN }}