Update rust toolchain version for Kani 0.20 #2113

Closed

Closed

Update rust toolchain version for Kani 0.20#2113

Assignees

Labels

Z-Sync Upstream

opened

on Jan 12, 2023

Biweekly update for the rust toolchain version. For Kani 0.20, we will target the new year version: nightly-2023-01-16.

Metadata

Assignees

celinval

Labels

Z-Sync Upstream

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests