Update rust toolchain version for Kani 0.23 #2282
Description
Biweekly update for the rust toolchain version. For Kani 0.23, we will target the new year version: nightly-2023-02-27.
{{ message }}
Biweekly update for the rust toolchain version. For Kani 0.23, we will target the new year version: nightly-2023-02-27.