You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
Currently, we are only aware of batch errors. Once we have stream errors collection setup, SQL smith should report those errors to us.
To do so, we should fail CI if there are ANY errors not in the ignore list (user error whitelist).
Then, we should print out a list of all the error types and messages that occured. Unfortunately, according to the current plan, we may not be able to get a backtrace.
Describe the solution you'd like
No response
Describe alternatives you've considered
No response
Additional context
No response
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
Currently, we are only aware of batch errors. Once we have stream errors collection setup, SQL smith should report those errors to us.
To do so, we should fail CI if there are ANY errors not in the ignore list (user error whitelist).
Then, we should print out a list of all the error types and messages that occured. Unfortunately, according to the current plan, we may not be able to get a backtrace.
Describe the solution you'd like
No response
Describe alternatives you've considered
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: