diff options
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 23996d2..66579f3 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -53,7 +53,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 @@ -94,4 +94,4 @@ jobs: - name: Detailed error logs if: failure() - run: ./build-aux/ci-log-logfiles + run: ./build-aux/ci/ci-log-logfiles |