Skip to content

Update rust toolchain version for Kani 0.10 #1614

@celinval

Description

@celinval

We should update the rust toolchain version once every release. For 0.10, we will try to update to version nightly-2022-08-30.

Metadata

Metadata

Assignees

Labels

Z-Sync UpstreamFetch changes from rustc repository. Old Rebase

Type

No type

Projects

Relationships

None yet

Development

No branches or pull requests

Issue actions