Merge branch 'main' into simon-engledew/fast-fail

This commit is contained in:
Simon Engledew 2020-11-20 09:21:26 +00:00 committed by GitHub
commit 6a45994b42
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 {