chore(dafny): update project.properties and mpl submodule · aws/aws-database-encryption-sdk-dynamodb@8ef9817

Triggered via pull request April 1, 2025 22:35

synchronize #1770

Status Success

Total duration 1m 46s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:d385f5b31618a94263adcafcf56a0c0357119b1c7709ec3f74620c08ae38f4f7`