Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Gazebo] Place the new multi selector in PR components tab #852

Closed
1 task done
Tracked by #760
RulaKhaled opened this issue Nov 23, 2023 · 0 comments
Closed
1 task done
Tracked by #760

[Gazebo] Place the new multi selector in PR components tab #852

RulaKhaled opened this issue Nov 23, 2023 · 0 comments
Assignees

Comments

@RulaKhaled
Copy link

RulaKhaled commented Nov 23, 2023

Add the new selector created in #841 in PR components page, make sure to:

  • default the selection to the params filter
  • update params with new selected params
  • send filters to the api which means you have to update the hook used in that tab

figma design: https://www.figma.com/file/eEUnkfHa5DGGuYVwZkCV7R/GH-760?type=design&node-id=1-340&mode=design&t=ZxSv4xtd87XlERvw-0

this is blocked by:

Tasks

  1. 1 of 1
    RulaKhaled
@RulaKhaled RulaKhaled changed the title [Gazebo] Place the new multi selector in components tab [Gazebo] Place the new multi selector in PR components tab Nov 24, 2023
@codecov-hooky codecov-hooky bot closed this as completed Dec 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant