fix: repo rename

aws · Jan 15, 2025 · 06e5f12 · 06e5f12
1 parent 4508ab8
commit 06e5f12
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cfn/CI-Bot.yml b/cfn/CI-Bot.yml
@@ -46,7 +46,7 @@ Resources:
                   "token.actions.githubusercontent.com:sub": [
                     "repo:aws/aws-cryptographic-material-providers-library:*",
                     "repo:aws/aws-database-encryption-sdk-dynamodb:*",
-                    "repo:aws/aws-encryption-sdk-dafny:*"
+                    "repo:aws/aws-encryption-sdk:*"
                   ]
                 }
               }