chore: Adopt SmithyDafnyMakefile.mk, progress towards fixing nightly build#797

Merged

robin-aws merged 42 commits intomainfrom

robin-aws/use-smithy-dafny-makefile

Apr 19, 2024

Commits on Mar 8, 2024

Commits on Mar 10, 2024

Commits on Mar 21, 2024

Commits on Mar 22, 2024

Commits on Mar 25, 2024

update project.properties in MPL too
robin-aws
committed

Commits on Apr 17, 2024

Merge branch 'main' of github.com:aws/aws-database-encryption-sdk-dynamodb-java into robin-aws/use-smithy-dafny-makefile
robin-aws
committed