-
Notifications
You must be signed in to change notification settings - Fork 14
feat: allow indirect attribute names with MultiKeyStore #1208
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
Conversation
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.
Just a bit of housekeeping
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.
Shouldn't this be in the spec somewhere?
DynamoDbEncryption/dafny/DynamoDbEncryption/test/BeaconTestFixtures.dfy
Outdated
Show resolved
Hide resolved
DynamoDbEncryption/dafny/DynamoDbEncryption/test/DDBSupport.dfy
Outdated
Show resolved
Hide resolved
DynamoDbEncryption/dafny/DynamoDbEncryption/test/BeaconTestFixtures.dfy
Outdated
Show resolved
Hide resolved
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.
LGTM
## [3.6.0](v3.5.0...v3.6.0) (2024-07-23) ### Features * allow indirect attribute names with MultiKeyStore ([#1208](#1208)) ([4ab97bc](4ab97bc)) ### Maintenance * bump dafny verification version to 4.7 ([#1181](#1181)) ([e7801ec](e7801ec)) * **CI/CD:** use latest conventional-changelog-conventionalcommits ([#1195](#1195)) ([510227e](510227e)) * Fix nightly build (aside from verification) ([#1029](#1029)) ([862420e](862420e)) * **GHA:** add action for testing against MPL HEAD ([#1187](#1187)) ([b2f70ca](b2f70ca)) * **GHA:** fix daily ci ([#1194](#1194)) ([a1427e0](a1427e0)) * **MPL:** Bump MPL to 1.5.1 ([#1201](#1201)) ([808a5b4](808a5b4)) * Sonatype Migration to User Tokens ([#1216](#1216)) ([a3b4ef9](a3b4ef9)) * Try to update existing issues ([31c6b98](31c6b98)) * Try to update existing issues ([4471295](4471295)) * update project.properties to be SNAPSHOT ([#1087](#1087)) ([6f2825e](6f2825e))
* chore(release): 3.6.0 ## [3.6.0](v3.5.0...v3.6.0) (2024-07-23) ### Features * allow indirect attribute names with MultiKeyStore ([#1208](#1208)) ([4ab97bc](4ab97bc)) ### Maintenance * bump dafny verification version to 4.7 ([#1181](#1181)) ([e7801ec](e7801ec)) * **CI/CD:** use latest conventional-changelog-conventionalcommits ([#1195](#1195)) ([510227e](510227e)) * Fix nightly build (aside from verification) ([#1029](#1029)) ([862420e](862420e)) * **GHA:** add action for testing against MPL HEAD ([#1187](#1187)) ([b2f70ca](b2f70ca)) * **GHA:** fix daily ci ([#1194](#1194)) ([a1427e0](a1427e0)) * **MPL:** Bump MPL to 1.5.1 ([#1201](#1201)) ([808a5b4](808a5b4)) * Sonatype Migration to User Tokens ([#1216](#1216)) ([a3b4ef9](a3b4ef9)) * Try to update existing issues ([31c6b98](31c6b98)) * Try to update existing issues ([4471295](4471295)) * update project.properties to be SNAPSHOT ([#1087](#1087)) ([6f2825e](6f2825e))
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.