chore: re-enable Dafny for MacOS (#1738) · aws/aws-database-encryption-sdk-dynamodb@6f729c3

Triggered via push March 20, 2025 19:56

seebees

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:675d30cea4545e7f7494aa0d3e0d1798f095908086bcfc5f59b3cbe7d8c576d1`