Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update rust toolchain version for Kani 0.20 #2113

Closed
celinval opened this issue Jan 12, 2023 · 1 comment · Fixed by #2149
Closed

Update rust toolchain version for Kani 0.20 #2113

celinval opened this issue Jan 12, 2023 · 1 comment · Fixed by #2149
Assignees
@celinval
Labels
Z-Sync Upstream Fetch changes from rustc repository. Old Rebase

Comments

@celinval
Copy link
Contributor

Biweekly update for the rust toolchain version. For Kani 0.20, we will target the new year version: nightly-2023-01-16.
@celinval celinval added the Z-Sync Upstream Fetch changes from rustc repository. Old Rebase label Jan 12, 2023
@zhassan-aws zhassan-aws mentioned this issue Jan 23, 2023
Closed
@celinval
Copy link
Contributor Author

#2045 updated the toolchain to nightly-2022-12-11.

@celinval celinval assigned celinval and unassigned karkhaz Jan 23, 2023
@celinval celinval mentioned this issue Jan 24, 2023
Merged
4 tasks
@feliperodri feliperodri moved this to Todo in Kani 2023-02-13 Jan 24, 2023
@celinval celinval moved this from Todo to In Progress in Kani 2023-02-13 Jan 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@celinval celinval

Labels
Z-Sync Upstream Fetch changes from rustc repository. Old Rebase
Projects
No open projects
Kani 2023-02-13
Status: In Progress
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Upgrade toolchain to nightly-2023-01-23 celinval/kani-dev
2 participants
@karkhaz @celinval