Skip to content

Update rust toolchain version to nightly-2023-06-20 #2544

New issue
Jump to bottom
New issue
Jump to bottom
Closed
#2551
Closed
Update rust toolchain version to nightly-2023-06-20#2544
#2551
Assignees
celinval
Labels
Z-Sync UpstreamFetch changes from rustc repository. Old Rebase[C] InternalTracks some internal work. I.e.: Users should not be affected.
@celinval

Description

@celinval
celinval
opened on Jun 20, 2023

Update the rust toolchain used by Kani.

Metadata

Assignees

Labels

Z-Sync UpstreamFetch changes from rustc repository. Old Rebase[C] InternalTracks some internal work. I.e.: Users should not be affected.

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions