From 38ecde0cc1c3a4eda99cc904c4b8ee57a11853bd Mon Sep 17 00:00:00 2001 From: Harry Maclean Date: Mon, 30 Oct 2023 11:23:03 +0000 Subject: [PATCH] Shared: Include data extensions in workspace This change allows codeql to see data extensions stored in the .github directory inside the codeql repo. This is useful when using the CodeQL Model Editor whilst working inside the codeql repo. --- codeql-workspace.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/codeql-workspace.yml b/codeql-workspace.yml index 03f5866a0c2..31c94676962 100644 --- a/codeql-workspace.yml +++ b/codeql-workspace.yml @@ -29,6 +29,7 @@ provide: - "swift/extractor-pack/codeql-extractor.yml" - "swift/integration-tests/qlpack.yml" - "ql/extractor-pack/codeql-extractor.yml" + - ".github/codeql/extensions/**/codeql-pack.yml" versionPolicies: default: