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

[3/3][Selection syntax] Remove name_substring + support wildcard filtering #27726

Merged
merged 4 commits into from
Feb 18, 2025

Conversation

salazarm
Copy link
Contributor

Summary & Motivation

Follow up to:
#27724
and
#27720

We want to remove the special name_substring filter and instead allow for wildcard matching, eg: name:*example* .

How I Tested These Changes

jest

@salazarm salazarm changed the base branch from master to salazarm/remove-key-substring-frontend February 10, 2025 22:13
Copy link

github-actions bot commented Feb 10, 2025

Deploy preview for dagit-core-storybook ready!

✅ Preview
https://dagit-core-storybook-2faddovnm-elementl.vercel.app
https://salazarm-remove-name-substring-frontend.core-storybook.dagster-docs.io

Built with commit 06b3830.
This pull request is being automatically deployed with vercel-action

@salazarm salazarm requested review from clairelin135 and removed request for OwenKephart February 11, 2025 06:18
const selection = [...this.all_ops].filter((i) => i.name.includes(value));
const value: string = getValue(ctx.keyValue());
const regex: RegExp = new RegExp(`^${escapeRegExp(value).replaceAll('\\*', '.*')}$`);
const selection = [...this.all_ops].filter((i) => regex.test(i.name));
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No need to spread

Base automatically changed from salazarm/remove-key-substring-frontend to master February 18, 2025 20:18
@salazarm salazarm force-pushed the salazarm/remove-name-substring-frontend branch from 3f32437 to 06b3830 Compare February 18, 2025 20:18
@salazarm salazarm merged commit dac85fa into master Feb 18, 2025
6 checks passed
@salazarm salazarm deleted the salazarm/remove-name-substring-frontend branch February 18, 2025 20:52
salazarm added a commit that referenced this pull request Feb 21, 2025
…ering (#27726)

## Summary & Motivation

Follow up to:
#27724
and 
#27720


We want to remove the special `name_substring` filter and instead allow
for wildcard matching, eg: `name:*example*` .


## How I Tested These Changes
jest
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

Successfully merging this pull request may close these issues.

2 participants