search

dafny-lang / dafny

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

[PRERELEASE REGRESSION] Dafny prerelease regression from smithy-lang/smithy-dafny #5584

Open dafny-lang-bot opened 3 days ago

dafny-lang-bot commented 3 days 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/9700334141

dafny-lang-bot commented 2 days ago

Another 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/9716008820

dafny-lang-bot commented 1 day ago

Another 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/9725512272

dafny-lang-bot commented 12 hours ago

Another 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/9733452355