mirror of
https://github.com/coder/coder.git
synced 2025-07-15 22:20:27 +00:00
chore: add workspace id filter on api (#12483)
* chore: add workspace id filter on api
This commit is contained in:
@ -204,6 +204,12 @@ WHERE
|
||||
workspaces.template_id = ANY(@template_ids)
|
||||
ELSE true
|
||||
END
|
||||
-- Filter by workspace_ids
|
||||
AND CASE
|
||||
WHEN array_length(@workspace_ids :: uuid[], 1) > 0 THEN
|
||||
workspaces.id = ANY(@workspace_ids)
|
||||
ELSE true
|
||||
END
|
||||
-- Filter by name, matching on substring
|
||||
AND CASE
|
||||
WHEN @name :: text != '' THEN
|
||||
|
Reference in New Issue
Block a user