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.

Sign up for GitHub

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

Jump to bottom

DROP TABLE IF EXISTIS is flaky #1138

Closed
1 of 2 tasks
xzdandy opened this issue Sep 17, 2023 · 1 comment
Closed
1 of 2 tasks

DROP TABLE IF EXISTIS is flaky #1138

xzdandy opened this issue Sep 17, 2023 · 1 comment
Labels
Bug 🐞 EVA is not working as expected Duplicate 🔁 This issue or pull request already exists

Comments

@xzdandy
Copy link
Collaborator

xzdandy commented Sep 17, 2023

Search before asking

  • I have searched the EvaDB issues and found no similar bug report.

Bug

We need to double check its implementation.

Environment

No response

Are you willing to submit a PR?

  • Yes I'd like to help by submitting a PR!
@xzdandy xzdandy added the Bug 🐞 EVA is not working as expected label Sep 17, 2023
@xzdandy xzdandy changed the title DROP TABLE IF EXISTIS is flaky DROP TABLE IF EXISTIS is flaky Sep 17, 2023
@xzdandy xzdandy added the Duplicate 🔁 This issue or pull request already exists label Sep 19, 2023
@xzdandy
Copy link
Collaborator Author

xzdandy commented Sep 19, 2023

Duplicated with #1149

@xzdandy xzdandy closed this as not planned Won't fix, can't repro, duplicate, stale Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Bug 🐞 EVA is not working as expected Duplicate 🔁 This issue or pull request already exists
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@xzdandy