Code

chore: Update size of Macos#1265

Code

Open

seebees wants to merge 3 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom seebees/update-dafny-verification-sizeaws/aws-database-encryption-sdk-dynamodb:seebees/update-dafny-verification-sizeCopy head branch name to clipboard

Commits

Commits on Aug 12, 2024

• chore: Update size of Macos

  Show description for dd75e9c
  seebees

  committed
  dd75e9c

  Copy full SHA for dd75e9c

Commits on Aug 13, 2024

• Merge branch 'main' into seebees/update-dafny-verification-size

  seebees

  authored
  33a2563

  Copy full SHA for 33a2563

Commits on Aug 15, 2024

• Merge branch 'main' into seebees/update-dafny-verification-size

  texastony

  authored
  fff7cbd

  Copy full SHA for fff7cbd