aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/coverity.yml2
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 \