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/stale.yml | |
| 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/stale.yml')
0 files changed, 0 insertions, 0 deletions