CI: fix coverity task

This commit is contained in:
Ilya Shipitsin 2023-08-12 22:38:27 +02:00 committed by GitHub
parent 3b0e389fc3
commit 93da767676
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,9 +34,11 @@ jobs:
- name: Build with Coverity build tool
run: |
export PATH=`pwd`/coverity_tool/bin:$PATH
cd libressl-*
cov-build --dir cov-int ninja
- name: Submit build result to Coverity Scan
run: |
cd libressl-*
tar czvf cov.tar.gz cov-int
curl --form token=${{ secrets.COVERITY_SCAN_TOKEN }} \
--form email=libressl-security@openbsd.org \