ci: Install gssapi/gssapi.h for Coverity Scan

This commit is contained in:
Alexander Todorov 2021-12-02 10:42:48 +02:00 committed by Ondřej Budai
parent ee8e551c5f
commit 1547451ee1

View file

@ -19,6 +19,9 @@ jobs:
COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}
COVERITY_SCAN_EMAIL: ${{ secrets.COVERITY_SCAN_EMAIL }}
run: |
sudo apt-get update
sudo apt-get install -y libkrb5-dev
echo "Downloading coverity scan package."
curl -o /tmp/cov-analysis-linux64.tgz https://scan.coverity.com/download/linux64 \
--form project="$COVERITY_SCAN_PROJECT_NAME" \