Upgrade rust toolchain to nightly-2023-06-20 - #2551

Merged

celinval merged 7 commits into

model-checking:mainfrom

celinval:issue-2544-toolchain

Jul 4, 2023

Commits on Jun 28, 2023

Commits on Jun 29, 2023

Merge branch 'main' into issue-2544-toolchain
celinval
authored
5f8aae8

Commits on Jul 3, 2023

Apply suggestions from code review

celinval
and
adpaco
authored
a2fa98a
Address PR comments + improve check message
celinval
committed
441734b