-
Notifications
You must be signed in to change notification settings - Fork 701
feat(risedev): add sqlsmith-reducer risedev command #23598
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
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR adds Makefile.toml tasks for building and running the sqlsmith-reducer tool, which reduces failing SQL queries to minimal reproducible cases while preserving errors. It also adds the .sqlsmith/ directory to .gitignore to exclude generated reducer output.
- Adds three new tasks:
build-sqlsmith-reducer,sql-reduce-short(aliassr), andsql-reduce-fullfor building and running the SQL query reducer - Adds
.sqlsmith/directory to.gitignorefor temporary reducer output files
Reviewed Changes
Copilot reviewed 1 out of 2 changed files in this pull request and generated 4 comments.
| File | Description |
|---|---|
| Makefile.toml | Adds task definitions for building sqlsmith-reducer and running SQL reduction operations |
| .gitignore | Excludes the .sqlsmith/ directory used for temporary reducer output |
|
@copilot please address the unresolved review comments in this PR. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
Copilot reviewed 1 out of 2 changed files in this pull request and generated no new comments.
Co-authored-by: copilot-swe-agent[bot] <[email protected]> Co-authored-by: kwannoel <[email protected]>
3e65dee to
c8cf57b
Compare

I hereby agree to the terms of the RisingWave Labs, Inc. Contributor License Agreement.
What's changed and what's your intention?
After this PR, you can use:
To reduce your failing SQL query.
Checklist
Documentation
Release note