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

Triggered via pull request April 1, 2025 22:24

opened #1770

Status Success

Total duration 2m 1s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:c973c3211d31b6675e3391f2c4d9be5c6fbba77da8527e771711a765b857afb0`