feat(ui): check pinned packages that can't be updated (#1139)

* style: fix filter types

* feat: check outdated pinned plugins
This commit is contained in:
Maria José Solano 2023-10-22 22:52:54 -07:00 committed by GitHub
parent 42fb1e89ad
commit 4446fdb9af
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 19 additions and 5 deletions

View file

@ -14,6 +14,7 @@
---@field is_local? boolean
---@field updates? {from:GitInfo, to:GitInfo}
---@field cloned? boolean
---@field outdated? boolean
---@field kind? LazyPluginKind
---@field dep? boolean True if this plugin is only in the spec as a dependency
---@field cond? boolean