diff options
| author | Richard Yao <[email protected]> | 2022-11-28 16:29:55 -0500 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-11-28 13:29:55 -0800 |
| commit | 022bdb5b0b722d5acef2a06cdab889cd62c22872 (patch) | |
| tree | d13b6631f7c75ffe0ca5ce4fb7648f8d39b994b5 /.github | |
| parent | adf3b84fc7341864d13b99fcbecf18bbc325b1e4 (diff) | |
Set multiple make jobs on CodeQL github workflows
github supports 2 processors right now, although we use nproc instead of
hard coding -j2, so if that ever increases, we will take advantage of it
right away.
Reviewed-by: George Melikov <[email protected]>
Reviewed-by: Damian Szuberski <[email protected]>
Reviewed-by: Tino Reichardt <[email protected]>
Signed-off-by: Richard Yao <[email protected]>
Closes #14217
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/codeql.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index c8a49a7f0..037f8aca0 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -19,6 +19,10 @@ jobs: language: [ 'cpp', 'python' ] steps: + - name: Set make jobs + run: | + echo "MAKEFLAGS=-j$(nproc)" >> $GITHUB_ENV + - name: Checkout repository uses: actions/checkout@v3 |