fix: CI

Author: Shubham Chaturvedi

DynamoDbEncryption/runtimes/java/src/test/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/TestUtils.java

@@ -34,7 +34,7 @@ public class TestUtils {
   public static final String TEST_KEY_STORE_KMS_KEY =
     "arn:aws:kms:us-west-2:370957321024:key/9d989aa2-2f9c-438c-a745-cc57d3ad0126";
   public static final String BRANCH_KEY_ID =
-    "75789115-1deb-4fe3-a2ec-be9e885d1945";
+    "3f43a9af-08c5-4317-b694-3d3e883dcaef";
   public static final String ALTERNATE_BRANCH_KEY_ID =
     "4bb57643-07c1-419e-92ad-0df0df149d7c";
 

DynamoDbEncryption/runtimes/rust/Cargo.toml

@@ -25,11 +25,14 @@ aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.10"
 chrono = "0.4.39"
 cpu-time = "1.0.0"
-dafny-runtime = "0.1.1"
+dafny-runtime = "0.2.0"
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 
 [[example]]
 name = "main"
+
+[lints.rust]
+deprecated = "allow"