search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.82k stars 253 forks source link

[PRERELEASE REGRESSION] Dafny prerelease regression from aws/aws-encryption-sdk-dafny #5463

Closed aws-crypto-tools-ci-bot closed 1 week ago

aws-crypto-tools-ci-bot commented 2 weeks ago

Failure in aws/aws-encryption-sdk-dafny/.github/workflows/nighly_dafny.yml@refs/heads/mainline. See https://github.com/aws/aws-encryption-sdk-dafny/actions/runs/9141222743