Code

chore: point to new smithy-dafny#1202

Code

Closed

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

Commits

Commits on Jul 16, 2024

• chore: point to new smithy-dafny

  josecorella

  committed
  44d29ac

  Copy full SHA for 44d29ac

Commits on Jul 29, 2024

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

  ajewellamz

  authored
  6429d3c

  Copy full SHA for 6429d3c