Add support for typing in the filtering menu

Why is this needed?

When there are many options in the dashboard filter dropdown, it’s inconvenient to navigate it.

Steps to address the need

Try to filter by “Ran by” in a project whose account has many users. It’s a bit inconvenient.

No GitHub comments yet.