Speed up codeql using make -j

2023-01-01 11:44:49 +01:00
parent f247022e35
commit 4414e1a889
1 changed files with 1 additions and 1 deletions
@@ -37,7 +37,7 @@ jobs:
          pushd wt
          git checkout ${WT_VERSION}
          cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=${WT_INSTALL_PREFIX} -DBUILD_EXAMPLES=OFF -DENABLE_LIBWTTEST=OFF -DCONNECTOR_FCGI=OFF
-          make
+          make -j$(nproc)
          sudo make install
          popd