[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-database-encryption-sdk-dynamodb

Question

aws-crypto-tools-ci-bot opened this issue 2 months ago · comments

Failure in aws/aws-database-encryption-sdk-dynamodb/.github/workflows/nightly.yml@refs/heads/main. See https://github.com/aws/aws-database-encryption-sdk-dynamodb/actions/runs/9978035175