fix(nodes): Correctly filter ignored nodes (#3966)

Signed-off-by: James Rich <2199651+jamesarich@users.noreply.github.com>
This commit is contained in:
James Rich
2025-12-10 23:13:24 -06:00
committed by GitHub
parent c21dcddf94
commit 919901e905

View File

@@ -107,7 +107,7 @@ constructor(
)
.map { list ->
list
.filter { filter.showIgnored || !it.isIgnored }
.filter { node -> node.isIgnored == filter.showIgnored }
.filter { node ->
if (filter.excludeInfrastructure) {
val role = node.user.role