blob: b3dd5ec526ad011b549f374bb05f8e789e86bfb8 [file] [log] [blame]
Ilya Shipitsin64b6f362020-12-25 23:36:52 +05001
2#
3# scan results: https://scan.coverity.com/projects/haproxy
4#
5
6name: Coverity
7
8on:
9 schedule:
10 - cron: "0 0 * * *"
11
Tim Duesterhus89c9d0a2021-10-16 18:10:26 +020012permissions:
13 contents: read
14
Ilya Shipitsin64b6f362020-12-25 23:36:52 +050015jobs:
16 scan:
17 runs-on: ubuntu-latest
18 if: ${{ github.repository_owner == 'haproxy' }}
19 env:
20 COVERITY_SCAN_PROJECT_NAME: 'Haproxy'
21 COVERITY_SCAN_BRANCH_PATTERN: '*'
22 COVERITY_SCAN_NOTIFICATION_EMAIL: 'chipitsine@gmail.com'
Willy Tarreau57610c62021-04-02 16:39:44 +020023 COVERITY_SCAN_BUILD_COMMAND: "make CC=clang TARGET=linux-glibc USE_ZLIB=1 USE_PCRE=1 USE_PCRE_JIT=1 USE_LUA=1 USE_OPENSSL=1 USE_SYSTEMD=1 USE_WURFL=1 WURFL_INC=addons/wurfl/dummy WURFL_LIB=addons/wurfl/dummy USE_DEVICEATLAS=1 DEVICEATLAS_SRC=addons/deviceatlas/dummy USE_51DEGREES=1 51DEGREES_SRC=addons/51degrees/dummy/pattern"
Ilya Shipitsin64b6f362020-12-25 23:36:52 +050024 steps:
25 - uses: actions/checkout@v2
26 - name: Install apt dependencies
27 run: |
28 sudo apt-get update
29 sudo apt-get install -y \
30 liblua5.3-dev \
31 libsystemd-dev
Tim Duesterhus66d28e72021-01-28 18:58:53 +010032 - name: Hijack Makefile
33 run: |
34 # We cannot pass the DEBUG variable in `COVERITY_SCAN_BUILD_COMMAND`,
35 # because Coverity splits parameters at whitespaces, without taking
36 # quoting into account.
37 sed -i 's/^DEBUG =$/DEBUG = -DDEBUG_STRICT=1 -DDEBUG_USE_ABORT=1/' Makefile
38 - name: Build WURFL
Willy Tarreau57610c62021-04-02 16:39:44 +020039 run: make -C addons/wurfl/dummy
Ilya Shipitsin64b6f362020-12-25 23:36:52 +050040 - name: Run Coverity Scan
41 env:
42 COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
43 run: |
Ilya Shipitsin64b6f362020-12-25 23:36:52 +050044 curl -fsSL "https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh" | bash || true