coverity: Add missing `REPO_HOME` env var for the recursor build

Signed-off-by: Remi Gacogne <remi.gacogne@powerdns.com>

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 6d39cb56631b5ca6cca9c6b56ec8eff920101bc0..171bce49998032187ad8723f457f77f0b83b8228 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -109,6 +109,7 @@ jobs:
       SANITIZERS:
       UNIT_TESTS: no
       CARGO_USE_DEV: 1
+      REPO_HOME: ${{ github.workspace }}
     steps:
       - uses: PowerDNS/pdns/set-ubuntu-mirror@meta
       - uses: actions/checkout@v6