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

Triggered via pull request March 19, 2025 20:57

seebees

synchronize #1738

Status Success

Total duration 1m 57s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:01d8cf1bb62da81001ea772bc1632ae64cb6c21d039f035c785cf479cb7dd9c1`