Code

chore: point to new smithy-dafny#1202

Code

Open

josecorella wants to merge 2 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom jocorell/new-dafny-cliaws/aws-database-encryption-sdk-dynamodb:jocorell/new-dafny-cliCopy head branch name to clipboard

+1-1

Commits

Commits on Jul 16, 2024

• chore: point to new smithy-dafny

  josecorella

  committed
  44d29ac

Commits on Jul 29, 2024

• Merge branch 'main' into jocorell/new-dafny-cli

  ajewellamz

  authored
  6429d3c