Merge pull request #10997 from github/henrymercer/go-extract-file-locations

Go: Extract locations of successfully extracted files
This commit is contained in:
Henry Mercer 2022-10-27 16:12:15 +01:00 коммит произвёл GitHub
Родитель 5ef99ca5bd c1984ea35f
Коммит 19b7e9ebc7
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
2 изменённых файлов: 5 добавлений и 3 удалений

Просмотреть файл

@ -9,5 +9,7 @@
import go
from File f
where not exists(Error e | e.getFile() = f)
select f.getRelativePath()
where
not exists(Error e | e.getFile() = f) and
exists(f.getRelativePath())
select f, ""

Просмотреть файл

@ -1 +1 @@
| query-tests/Diagnostics/util.go |
| util.go:0:0:0:0 | util.go | |