diff options
| author | Theo Buehler <tb@openbsd.org> | 2023-08-12 22:44:10 +0200 |
|---|---|---|
| committer | Theo Buehler <tb@openbsd.org> | 2023-08-12 22:44:10 +0200 |
| commit | 2d7042d9e447c24d72c1424738edd0b1c383e56a (patch) | |
| tree | 86032683499e849400e54ad809a87db137d25885 | |
| parent | 761c90d45bbcfe5b874d576aaf5ad4c1228c7bed (diff) | |
| parent | 93da76767694776b53c8e9dbea46d4ae0ba8cbfd (diff) | |
| download | portable-2d7042d9e447c24d72c1424738edd0b1c383e56a.tar.gz portable-2d7042d9e447c24d72c1424738edd0b1c383e56a.tar.bz2 portable-2d7042d9e447c24d72c1424738edd0b1c383e56a.zip | |
Land #897
| -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 \ |