github: fix the coverity scan action

It was failing on:

vendor/github.com/proglottis/gpgme/data.go:4:11: fatal error: gpgme.h: No such file or directory

Let's install this package before running the check, I verified that this
fix works locally.

Signed-off-by: Ondřej Budai <ondrej@budai.cz>
This commit is contained in:
Ondřej Budai 2022-07-16 19:08:45 +02:00 committed by Christian Kellner
parent efbd5ebd7b
commit 30a1f6a68f

View file

@ -20,7 +20,7 @@ jobs:
COVERITY_SCAN_EMAIL: ${{ secrets.COVERITY_SCAN_EMAIL }}
run: |
sudo apt-get update
sudo apt-get install -y libkrb5-dev
sudo apt-get install -y libkrb5-dev libgpgme-dev
echo "Downloading coverity scan package."
curl -o /tmp/cov-analysis-linux64.tgz https://scan.coverity.com/download/linux64 \