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.13 #1746

Closed

celinval opened this issue Oct 4, 2022 · 0 comments · Fixed by #1788

Assignees

Milestone

Contributor

celinval commented Oct 4, 2022

We should update the rust toolchain version once every release. For 0.13, we will try to update to version nightly-2022-10-11

celinval assigned tedinski

celinval added this to the Maintenance milestone

celinval mentioned this issue

Update rust toolchain version for Kani 0.12 #1731

Closed

tedinski mentioned this issue

Update Kani to Rust nightly-2022-10-11 #1788

Merged

4 tasks

tedinski closed this as completed in #1788

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment