Upgrade Rust toolchain to nightly-2023-02-04#2324

Merged

tautschnig merged 1 commit intomodel-checking:mainfrom tautschnig:toolchain-2023-02-04

Mar 28, 2023

+1-1

Commits on Mar 28, 2023

Upgrade Rust toolchain to nightly-2023-02-04
tautschnig
committed