mirror of
https://github.com/nodejs/node.git
synced 2025-08-15 13:48:44 +02:00
tools: ignore deps/
and benchmark/
for CodeQL
PR-URL: https://github.com/nodejs/node/pull/58254 Reviewed-By: Benjamin Gruenbaum <benjamingr@gmail.com> Reviewed-By: Luigi Pinca <luigipinca@gmail.com> Reviewed-By: James M Snell <jasnell@gmail.com>
This commit is contained in:
parent
306c11fe0a
commit
0c78a48d75
1 changed files with 2 additions and 2 deletions
4
.github/codeql-config.yml
vendored
4
.github/codeql-config.yml
vendored
|
@ -2,5 +2,5 @@ name: CodeQL config
|
||||||
|
|
||||||
paths-ignore:
|
paths-ignore:
|
||||||
- test
|
- test
|
||||||
- deps/v8/test
|
- deps
|
||||||
- deps/v8/tools
|
- benchmark
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue