portdb also uses coverage, so provide $TOP there

pull/10573/head
David Robertson 2021-08-12 10:41:01 +01:00
parent 314a739160
commit 74fcd5aab9
1 changed files with 2 additions and 0 deletions

View File

@ -250,6 +250,8 @@ jobs:
if: ${{ !failure() && !cancelled() }} # Allow previous steps to be skipped, but not fail
needs: linting-done
runs-on: ubuntu-latest
env:
TOP: ${{ github.workspace }}
strategy:
matrix:
include: