diff options
Diffstat (limited to '.github/workflows/coverity.yml')
| -rw-r--r-- | .github/workflows/coverity.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index fd9062c..c6d67e0 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -85,7 +85,7 @@ jobs: - name: Versions of build tools id: build-tools - run: ./build-aux/ci-log-dependency-versions + run: ./build-aux/ci/ci-log-dependency-versions - name: Get nprocs run: echo "NPROCS=$((`nproc --all 2>/dev/null || sysctl -n hw.ncpu` * 2))" | tee $GITHUB_ENV @@ -156,4 +156,4 @@ jobs: - name: Detailed error logs if: failure() - run: ./build-aux/ci-log-logfiles + run: ./build-aux/ci/ci-log-logfiles |