Closed robin-aws closed 4 months ago
Description of changes:
Fix nightly build - SimpleBoolean needs a patch file for the latest nightly prerelease too.
Dry run: https://github.com/smithy-lang/smithy-dafny/actions/runs/8976990288
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Replaced by https://github.com/smithy-lang/smithy-dafny/pull/357
Description of changes:
Fix nightly build - SimpleBoolean needs a patch file for the latest nightly prerelease too.
Dry run: https://github.com/smithy-lang/smithy-dafny/actions/runs/8976990288
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.