-
Notifications
You must be signed in to change notification settings - Fork 13k
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.
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
Move-out-of-raw-pointer in vec::shift #2703
Comments
Actually I think that's legal now. I recently updated the rules to allow We were "allowing" it before just because we weren't treating |
ghost
assigned eholk
Jun 22, 2012
It's legal now, so I'll remove the comment. |
celinval
added a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
We have two different ways today of building release bundles, one in `kani.yml` and another one in `release.yml`, and only the `kani.yml` actually run tests. This is error prone, since the release workflow only runs during a release without validation tests, and the build can diverge from what's being tested in CI. Instead, we will always run the same workflow, except for the steps that create the release. Resolves rust-lang#2703 Co-authored-by: Zyad Hassan <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Comment says 'this isn't legal, per se..' which is cute but could do with a bit more explanation of why it's even working.
The text was updated successfully, but these errors were encountered: