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 generated membership for the development package when using indir… #1399

Merged

Conversation

josephschorr
Copy link
Member

…ect caveats

Also adds a consistency test case for this scenario

@josephschorr josephschorr requested a review from a team as a code owner June 16, 2023 20:24
@github-actions github-actions bot added area/dispatch Affects dispatching of requests area/tooling Affects the dev or user toolchain (e.g. tests, ci, build tools) labels Jun 16, 2023
@josephschorr josephschorr force-pushed the development-membership-caveat-fix branch from 5760751 to deb7938 Compare June 16, 2023 20:25
…ect caveats

Also adds a consistency test case for this scenario
@josephschorr josephschorr force-pushed the development-membership-caveat-fix branch from deb7938 to a07ead1 Compare June 16, 2023 20:27
Copy link
Contributor

@ecordell ecordell left a comment

Choose a reason for hiding this comment

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

Do we not have any direct integration tests for the generated expected relations? Otherwise looks good.

@josephschorr
Copy link
Member Author

Do we not have any direct integration tests for the generated expected relations? Otherwise looks good.

We do, but constructing it off of a schema is non-trivial and this seemed easier; I added a test to ensure Expand was returning the correct information as well.

@josephschorr josephschorr added this pull request to the merge queue Jun 16, 2023
Merged via the queue into authzed:main with commit 8321363 Jun 16, 2023
@josephschorr josephschorr deleted the development-membership-caveat-fix branch June 16, 2023 20:58
@github-actions github-actions bot locked and limited conversation to collaborators Jun 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area/dispatch Affects dispatching of requests area/tooling Affects the dev or user toolchain (e.g. tests, ci, build tools)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants