Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Update rust toolchain version for Kani 0.7 #1366

Closed
celinval opened this issue Jul 12, 2022 · 0 comments · Fixed by #1399
Closed

Update rust toolchain version for Kani 0.7 #1366

celinval opened this issue Jul 12, 2022 · 0 comments · Fixed by #1399
Assignees
@celinval
Labels
Z-Sync Upstream Fetch changes from rustc repository. Old Rebase

Comments

@celinval
Copy link
Contributor

We should update the rust toolchain version once every release. For 0.7, we will try to update to version nightly-2022-07-19.
@celinval celinval self-assigned this Jul 12, 2022
@celinval celinval assigned tedinski and unassigned celinval Jul 12, 2022
@tedinski tedinski assigned celinval and unassigned tedinski Jul 19, 2022
@celinval celinval moved this to Todo in Kani v0.7 Jul 19, 2022
@celinval celinval moved this from Todo to In Progress in Kani v0.7 Jul 19, 2022
@celinval celinval mentioned this issue Jul 21, 2022
Merged
4 tasks
Repository owner moved this from In Progress to Done in Kani v0.7 Jul 22, 2022
@celinval celinval added the Z-Sync Upstream Fetch changes from rustc repository. Old Rebase label Aug 8, 2022
This was referenced May 20, 2023
Closed
Closed
Open
@github-actions github-actions bot mentioned this issue Jun 10, 2023
Closed
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@celinval celinval

Labels
Z-Sync Upstream Fetch changes from rustc repository. Old Rebase
Projects
No open projects
Kani v0.7
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Update toolchain to nightly-2022-07-19 celinval/kani-dev
2 participants
@tedinski @celinval