search

smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

ci: Disable Rust in nightly build #389

Closed robin-aws closed 1 month ago

robin-aws commented 1 month ago

Description of changes:

This workflow is pinned to a specific commit from a feature branch that's "ahead" of master, so there's no point in testing against nightly prereleases for now.

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

Seems reasonable. Presumably this won't be commented out for too long.

Only until we get the rest of the Dafny feat-rust branch merged.