From 022bdb5b0b722d5acef2a06cdab889cd62c22872 Mon Sep 17 00:00:00 2001 From: Richard Yao Date: Mon, 28 Nov 2022 16:29:55 -0500 Subject: 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 Reviewed-by: Damian Szuberski Reviewed-by: Tino Reichardt Signed-off-by: Richard Yao Closes #14217 --- .github/workflows/codeql.yml | 4 ++++ 1 file changed, 4 insertions(+) (limited to '.github') 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 -- cgit v1.2.3