Merge branch 'main' into eslint-rule/no-shadow

This commit is contained in:
Eric Cornelissen 2020-11-19 23:41:11 +01:00 committed by GitHub
commit 992a0cf8f2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 40 additions and 3 deletions

View file

@ -35,7 +35,11 @@ export function parseLanguage(language: string): Language | undefined {
}
export function isTracedLanguage(language: Language): boolean {
return ["cpp", "java", "csharp"].includes(language);
return (
["cpp", "java", "csharp"].includes(language) ||
(process.env["CODEQL_EXTRACTOR_GO_BUILD_TRACING"] === "on" &&
language === Language.go)
);
}
export function isScannedLanguage(language: Language): boolean {