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

Triggered via push April 2, 2025 01:32

main

Status Success

Total duration 1m 46s

Artifacts 1

ci_duvet.yml

on: push

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:a628cbe5b1cc8987632773c0a3813234ef070ff95ce7dfde799f9a8c41645cbb`