-
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? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # 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.