robojerk/codeql-action

Merge pull request #1818 from github/nickrolfe/disable-intra-layer-parallelism

Browse source 
Pass explicit option to disable intra-layer parallelism
This commit is contained in:
Nick Rolfe 2023-07-31 12:15:52 +01:00 • committed by GitHub
commit a6b0ced86b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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);
},

7
src/feature-flags.ts
View file

@ -23,6 +23,11 @@ export const CODEQL_VERSION_BUNDLE_SEMANTICALLY_VERSIONED = "2.13.4";
*/
export const CODEQL_VERSION_NEW_ANALYSIS_SUMMARY = "2.14.0";
/**
* Versions 2.14.0+ of the CodeQL CLI support intra-layer parallelism (aka fine-grained parallelism) options.
*/
export const CODEQL_VERSION_INTRA_LAYER_PARALLELISM = "2.14.0";
export interface CodeQLDefaultVersionInfo {
cliVersion: string;
tagName: string;
@ -71,7 +76,7 @@ export const featureConfig: Record<
},
[Feature.EvaluatorIntraLayerParallelismEnabled]: {
envVar: "CODEQL_EVALUATOR_INTRA_LAYER_PARALLELISM",
minimumVersion: "2.14.0",
minimumVersion: CODEQL_VERSION_INTRA_LAYER_PARALLELISM,
defaultValue: false,
},
[Feature.ExportDiagnosticsEnabled]: {