diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/coverity.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 85799f1..e1bfcb0 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml | |||
| @@ -34,9 +34,11 @@ jobs: | |||
| 34 | - name: Build with Coverity build tool | 34 | - name: Build with Coverity build tool |
| 35 | run: | | 35 | run: | |
| 36 | export PATH=`pwd`/coverity_tool/bin:$PATH | 36 | export PATH=`pwd`/coverity_tool/bin:$PATH |
| 37 | cd libressl-* | ||
| 37 | cov-build --dir cov-int ninja | 38 | cov-build --dir cov-int ninja |
| 38 | - name: Submit build result to Coverity Scan | 39 | - name: Submit build result to Coverity Scan |
| 39 | run: | | 40 | run: | |
| 41 | cd libressl-* | ||
| 40 | tar czvf cov.tar.gz cov-int | 42 | tar czvf cov.tar.gz cov-int |
| 41 | curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \ | 43 | curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \ |
| 42 | --form email=libressl-security@openbsd.org \ | 44 | --form email=libressl-security@openbsd.org \ |