Merge branch 'main' into mergeback/v2.1.13-to-main-d00e8c09

This commit is contained in:
Edoardo Pirovano 2022-06-21 11:26:28 +01:00 committed by GitHub
commit d069ed5c71
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 3 deletions

2
lib/codeql.js generated
View file

@ -77,7 +77,7 @@ const CODEQL_VERSION_SARIF_GROUP = "2.5.3";
exports.CODEQL_VERSION_COUNTS_LINES = "2.6.2";
const CODEQL_VERSION_CUSTOM_QUERY_HELP = "2.7.1";
exports.CODEQL_VERSION_ML_POWERED_QUERIES = "2.7.5";
const CODEQL_VERSION_LUA_TRACER_CONFIG = "2.9.3";
const CODEQL_VERSION_LUA_TRACER_CONFIG = "2.10.0";
/**
* This variable controls using the new style of tracing from the CodeQL
* CLI. In particular, with versions above this we will use both indirect

File diff suppressed because one or more lines are too long

View file

@ -222,7 +222,7 @@ const CODEQL_VERSION_SARIF_GROUP = "2.5.3";
export const CODEQL_VERSION_COUNTS_LINES = "2.6.2";
const CODEQL_VERSION_CUSTOM_QUERY_HELP = "2.7.1";
export const CODEQL_VERSION_ML_POWERED_QUERIES = "2.7.5";
const CODEQL_VERSION_LUA_TRACER_CONFIG = "2.9.3";
const CODEQL_VERSION_LUA_TRACER_CONFIG = "2.10.0";
/**
* This variable controls using the new style of tracing from the CodeQL