Closed robin-aws closed 3 months ago
Description of changes: Creates an issue that will block the next Dafny release if the nightly build against the latest Dafny prerelease fails.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description of changes: Creates an issue that will block the next Dafny release if the nightly build against the latest Dafny prerelease fails.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.