summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorEdward Thomson <ethomson@edwardthomson.com>2020-11-24 00:54:39 +0000
committerEdward Thomson <ethomson@edwardthomson.com>2020-11-24 00:55:53 +0000
commit05536454489a3d4a85b07d6cef71841b8f4ab4a8 (patch)
treefc5a21def50010ed0bd60d58f0f9ad749c5ccd49 /.github
parent78436df033be18b564629230d2398f7bab08437e (diff)
downloadlibgit2-05536454489a3d4a85b07d6cef71841b8f4ab4a8.tar.gz
ci: really correct container usage for coverity
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/nightly.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 68c7fdb58..65ab8be8c 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -249,6 +249,7 @@ jobs:
env:
DOCKER_REGISTRY: ${{ env.docker-registry }}
GITHUB_TOKEN: ${{ secrets.github_token }}
+ working-directory: ${{ env.docker-config-path }}
- name: Run Coverity
run: ci/coverity.sh
env: