1616 scan :
1717 runs-on : ubuntu-latest
1818 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'
23- # We cannot pass the DEBUG at once here because Coverity splits
24- # parameters at whitespaces, without taking quoting into account.
25- 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_QUIC=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 ADDLIB=\" -Wl,-rpath,$HOME/opt/lib/\" SSL_LIB=${HOME}/opt/lib SSL_INC=${HOME}/opt/include DEBUG+=-DDEBUG_STRICT=1 DEBUG+=-DDEBUG_USE_ABORT=1"
2619 steps :
2720 - uses : actions/checkout@v3
2821 - name : Install apt dependencies
@@ -34,10 +27,23 @@ jobs:
3427 - name : Install QUICTLS
3528 run : |
3629 QUICTLS=yes scripts/build-ssl.sh
30+ - name : Download Coverity build tool
31+ run : |
32+ wget -c -N https://scan.coverity.com/download/linux64 --post-data "token=${{ secrets.COVERITY_SCAN_TOKEN }}&project=Haproxy" -O coverity_tool.tar.gz
33+ mkdir coverity_tool
34+ tar xzf coverity_tool.tar.gz --strip 1 -C coverity_tool
3735 - name : Build WURFL
3836 run : make -C addons/wurfl/dummy
39- - name : Run Coverity Scan
40- env :
41- COVERITY_SCAN_TOKEN : ${{ secrets.COVERITY_SCAN_TOKEN }}
37+ - name : Build with Coverity build tool
38+ run : |
39+ export PATH=`pwd`/coverity_tool/bin:$PATH
40+ cov-build --dir cov-int make CC=clang TARGET=linux-glibc USE_ZLIB=1 USE_PCRE=1 USE_PCRE_JIT=1 USE_LUA=1 USE_OPENSSL=1 USE_QUIC=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 ADDLIB=\"-Wl,-rpath,$HOME/opt/lib/\" SSL_LIB=${HOME}/opt/lib SSL_INC=${HOME}/opt/include DEBUG+=-DDEBUG_STRICT=1 DEBUG+=-DDEBUG_USE_ABORT=1
41+ - name : Submit build result to Coverity Scan
4242 run : |
43- curl -fsSL "https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh" | bash || true
43+ tar czvf cov.tar.gz cov-int
44+ curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \
45+ --form email=chipitsine@gmail.com \
46+ --form file=@cov.tar.gz \
47+ --form version="Commit $GITHUB_SHA" \
48+ --form description="Build submitted via CI" \
49+ https://scan.coverity.com/builds?project=Hsproxy
0 commit comments