chore(release): 3.5.1 [skip ci]

## [3.5.1](v3.5.0...v3.5.1) (2024-07-12)

### Maintenance

* bump dafny verification version to 4.7 ([#1181](#1181)) ([e7801ec](e7801ec))
* 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))
* update project.properties to be SNAPSHOT ([#1087](#1087)) ([6f2825e](6f2825e))

Author: semantic-release-bot

CHANGELOG.md

@@ -1,5 +1,15 @@
 # Changelog
 
+## [3.5.1](https://github.com/aws/aws-database-encryption-sdk-dynamodb/compare/v3.5.0...v3.5.1) (2024-07-12)
+
+### Maintenance
+
+* bump dafny verification version to 4.7 ([#1181](https://github.com/aws/aws-database-encryption-sdk-dynamodb/issues/1181)) ([e7801ec](https://github.com/aws/aws-database-encryption-sdk-dynamodb/commit/e7801ec42b1bb212af68f9dc0c8037eed9876b5c))
+* Fix nightly build (aside from verification) ([#1029](https://github.com/aws/aws-database-encryption-sdk-dynamodb/issues/1029)) ([862420e](https://github.com/aws/aws-database-encryption-sdk-dynamodb/commit/862420ef12ef1e764327671d839be451a7579bda))
+* **GHA:** add action for testing against MPL HEAD ([#1187](https://github.com/aws/aws-database-encryption-sdk-dynamodb/issues/1187)) ([b2f70ca](https://github.com/aws/aws-database-encryption-sdk-dynamodb/commit/b2f70ca6733ac522f622014ae6c93bd1a1c15d28))
+* **GHA:** fix daily ci ([#1194](https://github.com/aws/aws-database-encryption-sdk-dynamodb/issues/1194)) ([a1427e0](https://github.com/aws/aws-database-encryption-sdk-dynamodb/commit/a1427e0f7febc10cddd2eccb08385afb2b964367))
+* update project.properties to be SNAPSHOT ([#1087](https://github.com/aws/aws-database-encryption-sdk-dynamodb/issues/1087)) ([6f2825e](https://github.com/aws/aws-database-encryption-sdk-dynamodb/commit/6f2825e198c84a5b20d50e49188b5d9004a1b71a))
+
 ## [3.5.0](https://github.com/aws/aws-database-encryption-sdk-dynamodb/compare/v3.4.0...v3.5.0) (2024-05-30)
 
 ### Features

DynamoDbEncryption/runtimes/net/AssemblyInfo.cs

@@ -3,5 +3,5 @@
 [assembly: AssemblyTitle("AWS.Cryptography.DbEncryptionSDK.DynamoDb")]
 
 // This should be kept in sync with the version number in MPL.csproj
-[assembly: AssemblyVersion("3.5.0")]
+[assembly: AssemblyVersion("3.5.1")]
 

DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj

@@ -5,7 +5,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <IsPackable>true</IsPackable>
 
-    <Version>3.5.0</Version>
+    <Version>3.5.1</Version>
 
     <AssemblyName>AWS.Cryptography.DbEncryptionSDK.DynamoDb</AssemblyName>
     <PackageId>AWS.Cryptography.DbEncryptionSDK.DynamoDb</PackageId>

project.properties

@@ -1,4 +1,4 @@
-projectJavaVersion=3.5.0-SNAPSHOT
+projectJavaVersion=3.5.1
 mplDependencyJavaVersion=1.4.0
 dafnyVersion=4.2.0
 dafnyVerifyVersion=4.7.0