aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoshua Sing <joshua@hypera.dev>2023-08-10 18:10:05 +1000
committerJoshua Sing <joshua@hypera.dev>2023-08-10 18:10:05 +1000
commitcfe98db7ad573df0ae7981b673377fc1d4ccfd65 (patch)
tree8feffcf6303a8cfa8df0c451bf24da1609263f8d
parent61025c5a5e182f0487f4ce801f979798063b0ffc (diff)
parent30c240160d0054441d42b243f64db86b1606911d (diff)
downloadportable-cfe98db7ad573df0ae7981b673377fc1d4ccfd65.tar.gz
portable-cfe98db7ad573df0ae7981b673377fc1d4ccfd65.tar.bz2
portable-cfe98db7ad573df0ae7981b673377fc1d4ccfd65.zip
Land #896
-rw-r--r--.github/workflows/coverity.yml38
1 files changed, 28 insertions, 10 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index bc0ee0d..85799f1 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -9,20 +9,38 @@ jobs:
9 scan: 9 scan:
10 runs-on: ubuntu-latest 10 runs-on: ubuntu-latest
11 if: ${{ github.repository_owner == 'libressl' }} 11 if: ${{ github.repository_owner == 'libressl' }}
12 env:
13 COVERITY_SCAN_PROJECT_NAME: 'libressl-portable/portable'
14 COVERITY_SCAN_BRANCH_PATTERN: '*'
15 COVERITY_SCAN_NOTIFICATION_EMAIL: 'libressl-security@openbsd.org'
16 COVERITY_SCAN_BUILD_COMMAND_PREPEND: "./autogen.sh && ./configure && make dist && tar zxf libressl-*.tar.gz && rm libressl-*.tar.gz && cd libressl-* && mkdir build-static && mkdir build-shared && cmake -GNinja -DBUILD_SHARED_LIBS=ON .."
17 COVERITY_SCAN_BUILD_COMMAND: "ninja"
18 steps: 12 steps:
19 - uses: actions/checkout@main 13 - uses: actions/checkout@main
20 - name: Install apt dependencies 14 - name: Install apt dependencies
21 run: | 15 run: |
22 sudo apt-get update 16 sudo apt-get update
23 sudo apt-get install -y cmake ninja-build 17 sudo apt-get install -y cmake ninja-build
24 - name: Run Coverity Scan 18 - name: Download Coverity build tool
25 env:
26 COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
27 run: | 19 run: |
28 curl -fsSL "https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh" | bash || true 20 wget -c -N https://scan.coverity.com/download/linux64 --post-data "token=${{ secrets.COVERITY_SCAN_TOKEN }}&project=libressl-portable%2Fportable" -O coverity_tool.tar.gz
21 mkdir coverity_tool
22 tar xzf coverity_tool.tar.gz --strip 1 -C coverity_tool
23 - name: Configure
24 run: |
25 ./autogen.sh
26 ./configure
27 make dist
28 tar zxf libressl-*.tar.gz
29 rm libressl-*.tar.gz
30 cd libressl-*
31 mkdir build-static
32 mkdir build-shared
33 cmake -GNinja -DBUILD_SHARED_LIBS=ON ..
34 - name: Build with Coverity build tool
35 run: |
36 export PATH=`pwd`/coverity_tool/bin:$PATH
37 cov-build --dir cov-int ninja
38 - name: Submit build result to Coverity Scan
39 run: |
40 tar czvf cov.tar.gz cov-int
41 curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \
42 --form email=libressl-security@openbsd.org \
43 --form file=@cov.tar.gz \
44 --form version="Commit $GITHUB_SHA" \
45 --form description="Build submitted via CI" \
46 https://scan.coverity.com/builds?project=libressl-portable%2Fportable