diff options
| author | Ilya Shipitsin <chipitsine@gmail.com> | 2023-08-12 22:38:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-12 22:38:27 +0200 |
| commit | 93da76767694776b53c8e9dbea46d4ae0ba8cbfd (patch) | |
| tree | 8e3675a9b0209ef65d9752a1bee8c8a7e4c24f02 | |
| parent | 3b0e389fc36461cbac435b982dbd0f722d281f0b (diff) | |
| download | portable-93da76767694776b53c8e9dbea46d4ae0ba8cbfd.tar.gz portable-93da76767694776b53c8e9dbea46d4ae0ba8cbfd.tar.bz2 portable-93da76767694776b53c8e9dbea46d4ae0ba8cbfd.zip | |
CI: fix coverity task
| -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 \ |