diff options
| author | Joshua Sing <joshua@hypera.dev> | 2023-08-10 18:10:05 +1000 |
|---|---|---|
| committer | Joshua Sing <joshua@hypera.dev> | 2023-08-10 18:10:05 +1000 |
| commit | cfe98db7ad573df0ae7981b673377fc1d4ccfd65 (patch) | |
| tree | 8feffcf6303a8cfa8df0c451bf24da1609263f8d | |
| parent | 61025c5a5e182f0487f4ce801f979798063b0ffc (diff) | |
| parent | 30c240160d0054441d42b243f64db86b1606911d (diff) | |
| download | portable-cfe98db7ad573df0ae7981b673377fc1d4ccfd65.tar.gz portable-cfe98db7ad573df0ae7981b673377fc1d4ccfd65.tar.bz2 portable-cfe98db7ad573df0ae7981b673377fc1d4ccfd65.zip | |
Land #896
| -rw-r--r-- | .github/workflows/coverity.yml | 38 |
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 | ||
