mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
JS: Use resources/tools from external repo, not internal.
This was missing in https://github.com/github/codeql/pull/16656, so we couldn't actually delete the resources in the internal repo.
This commit is contained in:
@@ -31,7 +31,7 @@ codeql_pack(
|
||||
"//javascript/downgrades",
|
||||
"//javascript/externs",
|
||||
"//javascript/extractor:tools-extractor",
|
||||
"@semmle_code//language-packs/javascript:resources",
|
||||
"//javascript/resources",
|
||||
],
|
||||
visibility = ["//visibility:public"],
|
||||
zips = {"//javascript/extractor/lib/typescript": "tools"},
|
||||
|
||||
Reference in New Issue
Block a user