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 smithy-lang/smithy-dafny #5430

Closed dafny-lang-bot closed 2 weeks ago

dafny-lang-bot commented 2 weeks ago

Failure in smithy-lang/smithy-dafny/.github/workflows/nightly_dafny.yml@refs/heads/main-1.x. See https://github.com/smithy-lang/smithy-dafny/actions/runs/9066560297

robin-aws commented 2 weeks ago

Dupe of #5448