robojerk/codeql-action

Merge remote-tracking branch 'upstream/main' into aeisenberg/remove-queries

Browse source
This commit is contained in:
Andrew Eisenberg 2022-06-15 17:21:05 -07:00
commit 6db77eec0d
6 changed files with 54 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/util.ts
View file

@ -668,9 +668,14 @@ export const ML_POWERED_JS_QUERIES_PACK_NAME =
export async function getMlPoweredJsQueriesPack(
codeQL: CodeQL
): Promise<string> {
const version = (await codeQlVersionAbove(codeQL, "2.8.4"))
? "~0.2.0"
: "~0.1.0";
let version;
if (await codeQlVersionAbove(codeQL, "2.9.3")) {
version = `~0.3.0`;
} else if (await codeQlVersionAbove(codeQL, "2.8.4")) {
version = `~0.2.0`;
} else {
version = `~0.1.0`;
}
return prettyPrintPack({
name: ML_POWERED_JS_QUERIES_PACK_NAME,
version,