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

Fix re-loading enumerations from the REST server #4335

Merged
merged 1 commit into from
Sep 8, 2023

Conversation

davisp
Copy link
Contributor

@davisp davisp commented Sep 8, 2023

Ensure we filter enumerations for anything already loaded even when loading from the REST server.

The test for this behavior is on branch pd/sc-32981/add-handle-load-enumerations-api-tests which can't be merged until after tiledb-cloud-rest is upgraded to 2.17.


TYPE: BUG
DESC: Fix re-loading enumerations from the REST server

Ensure we filter enumerations for anything already loaded even when
loading from the REST server.
@shortcut-integration
Copy link

This pull request has been linked to Shortcut Story #33893: [CORE] Bug fix for loading enumerations from REST.

Copy link
Contributor

@johnkerl johnkerl left a comment

Choose a reason for hiding this comment

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

🚢

@ihnorton ihnorton merged commit f124d5f into dev Sep 8, 2023
55 checks passed
@ihnorton ihnorton deleted the pd/sc-33893/fix-load-enumerations-from-rest branch September 8, 2023 19:17
github-actions bot pushed a commit that referenced this pull request Sep 8, 2023
Ensure we filter enumerations for anything already loaded even when loading from the REST server.

---
TYPE: BUG
DESC: Fix re-loading enumerations from the REST server

(cherry picked from commit f124d5f)
ihnorton pushed a commit that referenced this pull request Sep 8, 2023
Ensure we filter enumerations for anything already loaded even when loading from the REST server.

---
TYPE: BUG
DESC: Fix re-loading enumerations from the REST server

(cherry picked from commit f124d5f)

Co-authored-by: Paul J. Davis <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants