robojerk/codeql-action

Pass explicit option to disable intra-layer parallelism

Browse source
This commit is contained in:
Nick Rolfe 2023-07-31 11:47:25 +01:00
parent cf445f7cf3
commit c7b7456c9e
6 changed files with 25 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/codeql.ts
View file

@ -10,6 +10,7 @@ import * as api from "./api-client";
import type { Config } from "./config-utils";
import { EnvVar } from "./environment";
import {
CODEQL_VERSION_INTRA_LAYER_PARALLELISM,
CODEQL_VERSION_NEW_ANALYSIS_SUMMARY,
CodeQLDefaultVersionInfo,
Feature,
@ -787,6 +788,13 @@ export async function getCodeQLForCmd(
)
) {
codeqlArgs.push("--intra-layer-parallelism");
} else if (
await util.codeQlVersionAbove(
this,
CODEQL_VERSION_INTRA_LAYER_PARALLELISM,
)
) {
codeqlArgs.push("--no-intra-layer-parallelism");
}
await runTool(cmd, codeqlArgs);
},