Code

chore: re-enable Dafny for MacOS#1738

Code

Merged

seebees merged 4 commits intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

seebees/re-enable-verificationaws/aws-database-encryption-sdk-dynamodb:seebees/re-enable-verificationCopy head branch name to clipboard

Mar 20, 2025

Commits

Commits on Mar 19, 2025

• chore: re-enable Dafny for MacOS

  Show description for 4c709d9
  seebees

  committed
  4c709d9

  Copy full SHA for 4c709d9

• update to latest MPL

  seebees

  committed
  505ccfd

  Copy full SHA for 505ccfd

• use latest

  seebees

  committed
  e44a1cf

  Copy full SHA for e44a1cf

Commits on Mar 20, 2025

• use the MPL version

  seebees

  committed
  343cdc5

  Copy full SHA for 343cdc5