Upgrade Rust toolchain to nightly-2024-06-21

model-checking / kani

Kani Rust Verifier

https://model-checking.github.io/kani

Apache License 2.0

2.03k stars 85 forks source link

Closed celinval closed 1 week ago

celinval commented 1 week ago

Related change:

Resolves #3275

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.