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

Triggered via pull request March 19, 2025 19:50

seebees

opened #1738

Status Success

Total duration 2m 19s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:990db6e2b3253aff09b2ad736c3df6ab964fdca6ce426e12bf5d4cf88acc4e70`