Update the rust toolchain to nightly-2024-04-03#3128

Closed

tautschnig wants to merge 2 commits intomodel-checking:mainfrom tautschnig:toolchain-upgrade-2024-04-03-manual

+10-2

Commits on Apr 5, 2024

Update the rust toolchain to nightly-2024-04-03
tautschnig
committed
Merge remote-tracking branch 'origin/main' into toolchain-upgrade-2024-04-03-manual
tautschnig
committed