chore: re-enable Dafny for MacOS · aws/aws-database-encryption-sdk-dynamodb@343cdc5

Triggered via pull request March 20, 2025 16:41

seebees

synchronize #1738

Status Success

Total duration 1m 54s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:4b86972a013efb19102dce1d9eb56b54467771f99f056742210010f660e7153b`