-
Notifications
You must be signed in to change notification settings - Fork 12
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: Move Java helper methods out of extern class #855
fix: Move Java helper methods out of extern class #855
Conversation
@robin-aws @josecorella This Branch is failing the "does not break DB-ESDK" check: Question: @josecorella Did I run the check correctly? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Blocking until we figure out if this works with DB-ESDK or not.
https://github.com/aws/aws-database-encryption-sdk-dynamodb/actions/runs/11333537614/job/31517906552
Tried again with the a newer manual workflow: https://github.com/aws/aws-database-encryption-sdk-dynamodb/actions/runs/11333611590 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks @texastony! @josecorella would it be doable to run the "does not break DB-ESDK" check in the CI of this project? |
Description of changes:
I added these as a migration workaround for upgrading the Dafny version, but as a side effect it made
HMac
a mixed Dafny/native class when it wasn't intended to be, and this isn't supported on all target languages (e.g. Go). Easy fix to move them out of the class to the surrounding module instead.Squash/merge commit message, if applicable:
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.