From 30a1f6a68f510198238d56a813550bfd8f417675 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ond=C5=99ej=20Budai?= Date: Sat, 16 Jul 2022 19:08:45 +0200 Subject: [PATCH] github: fix the coverity scan action MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- .github/workflows/coverity_scan.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml index 81f2fb4a4..af8acf40e 100644 --- a/.github/workflows/coverity_scan.yml +++ b/.github/workflows/coverity_scan.yml @@ -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 \