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

Updates for cedar#837 #346

Merged
merged 1 commit into from
Jun 4, 2024
Merged

Updates for cedar#837 #346

merged 1 commit into from
Jun 4, 2024

Conversation

khieta
Copy link
Contributor

@khieta khieta commented Jun 3, 2024

Issue #, if available:

Description of changes:

Fixes for cedar#837 (not yet merged) and cedar#946 (already merged).

@khieta khieta mentioned this pull request Jun 3, 2024
3 tasks
@khieta
Copy link
Contributor Author

khieta commented Jun 4, 2024

Note: integration tests are expected to fail due to cedar#837. That failure will be resolved by a PR to cedar-integration-tests.

@khieta khieta merged commit 3143f56 into main Jun 4, 2024
4 of 5 checks passed
@@ -180,7 +179,7 @@ impl LeanDefinitionalEngine {
// coerce to PolicyId just to ensure it's valid
Copy link
Contributor

Choose a reason for hiding this comment

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

this comment might be outdated now

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Oops, too quick with my merge - will try to remember to update next time I touch this code (this will likely be soon as I continue to muck with the FFI)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants