search

smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

ci: Use Dafny feature branch for testing Rust support #379

Closed robin-aws closed 1 month ago

robin-aws commented 1 month ago

Description of changes:

Moves the CI to use the feat-rust branch of Dafny instead of a specific nightly prerelease, since the branch should be a stable target as we work on merging that work to master.

Note that the patch files don't change much with this switch because the src_for_rust subset isn't changing yet - I'm having trouble adding more files there for some reason, and will follow up in a different PR to improve that.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

robin-aws commented 1 month ago

Merging this into https://github.com/smithy-lang/smithy-dafny/pull/368 and will make that actually update the build process and patch files to take advantage of the branch.