Code

chore: add project.properties#669

Code

Open

josecorella wants to merge 5 commits intomainlineaws/aws-encryption-sdk-dafny:mainlinefrom jocorell/update-project-propertiesaws/aws-encryption-sdk-dafny:jocorell/update-project-propertiesCopy head branch name to clipboard

+92-15

Commits

Commits on Jul 18, 2024

• chore: add dafnyVerifyVersion to properties

  josecorella

  committed
  229a49e

• fix

  josecorella

  committed
  b51f467

• a

  josecorella

  committed
  8fb9804

• fix

  josecorella

  committed
  7b7b8a9

• fix

  josecorella

  committed
  c7b7080