mirror of
https://github.com/github/codeql.git
synced 2026-04-30 11:15:13 +02:00
Rust: Rename missing -> unextracted.
This commit is contained in:
@@ -1,7 +1,7 @@
|
||||
/**
|
||||
* @name Missing Elements
|
||||
* @name Unextracted Elements
|
||||
* @description List all elements that weren't extracted due to unimplemented features or parse errors.
|
||||
* @id rust/diagnostics/missing-elements
|
||||
* @id rust/diagnostics/unextracted-elements
|
||||
*/
|
||||
|
||||
import rust
|
||||
|
||||
@@ -1 +1 @@
|
||||
queries/diagnostics/MissingElements.ql
|
||||
queries/diagnostics/UnextractedElements.ql
|
||||
|
||||
Reference in New Issue
Block a user