Closed
Description
Biweekly update for the rust toolchain version. For Kani 0.21, we will target the version: nightly-2023-01-30.
{{ message }}
No one assigned
No type
No milestone
None yet
No branches or pull requests
Biweekly update for the rust toolchain version. For Kani 0.21, we will target the version: nightly-2023-01-30.