Skip to content

chore: re-enable Dafny for MacOS #1190

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #1190

pr-ci-verification  /  verification (DynamoDbEncryption, macos-13)

succeeded Mar 20, 2025 in 6m 7s