Merge pull request #15104 from RasmusWL/fewer-meta-queries

Python: Remove `@tags meta` from internal debug queries
This commit is contained in:
yoff
2023-12-18 21:27:33 +01:00
committed by GitHub
5 changed files with 0 additions and 5 deletions

View File

@@ -3,7 +3,6 @@
* @kind problem
* @problem.severity recommendation
* @id py/meta/type-tracking-call-graph
* @tags meta
* @precision very-low
*/

View File

@@ -3,7 +3,6 @@
* @kind problem
* @problem.severity recommendation
* @id py/meta/call-graph-missing
* @tags meta
* @precision very-low
*/

View File

@@ -3,7 +3,6 @@
* @kind problem
* @problem.severity recommendation
* @id py/meta/call-graph-new
* @tags meta
* @precision very-low
*/

View File

@@ -3,7 +3,6 @@
* @kind problem
* @problem.severity recommendation
* @id py/meta/call-graph-new-ambiguous
* @tags meta
* @precision very-low
*/

View File

@@ -3,7 +3,6 @@
* @kind problem
* @problem.severity recommendation
* @id py/meta/call-graph-shared
* @tags meta
* @precision very-low
*/