Commit 05536454 by Edward Thomson

ci: really correct container usage for coverity

parent 78436df0
......@@ -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:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment