diff options
| author | Ivan Nardi <12729895+IvanNardi@users.noreply.github.com> | 2024-06-05 11:56:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-05 11:56:03 +0200 |
| commit | 6a9d4b1ab64d85d6070205f7bc00c1d14b88de11 (patch) | |
| tree | f5b958cd2aee73ee1f32eb5952a52fa1055f9cd7 /.github/workflows/codeql.yml | |
| parent | 7be482f5b153530315232f721ef2bcab581256ef (diff) | |
CI: more parallel work (#2459)
Diffstat (limited to '.github/workflows/codeql.yml')
| -rw-r--r-- | .github/workflows/codeql.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index d62d471b5..b51e516e2 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -51,7 +51,7 @@ jobs: - name: Build nDPI library run: | - make + make -j - name: Perform CodeQL Analysis uses: github/codeql-action/analyze@v3 |