Revert 106216d67358f13f4be296ee59f711a1f1566bbe. #371
Closed
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Author
| Ping? Has llvm on the bots been upgraded? |
Contributor
| LLVM has now been updated on the bots. Integrated. Thanks. |
Aaron1011 pushed a commit to Aaron1011/rust that referenced this pull request Oct 26, 2020
…c7fcfe Bump gimli from `b0141dd` to `2c7fcfe`
flip1995 pushed a commit to flip1995/rust that referenced this pull request Oct 20, 2022
add `cast-nan-to-int` lint This fixes rust-lang#371. r? `@Alexendoo` --- changelog: add [`cast-nan-to-int`] lint
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this pull request Mar 7, 2023
* Add inner loop test * Abstract primal and reverse api * Add nofree option * Keep AtomicAdd in key * Preserve non-cache allocations
antoyo added a commit to antoyo/rust that referenced this pull request Oct 26, 2023
…0_25 Sync from rust 2023/10/25
calebzulawski added a commit to calebzulawski/rust that referenced this pull request Nov 19, 2023
Rename "lane" to "element"
celinval pushed a commit to celinval/rust-dev that referenced this pull request Jun 4, 2024
* Support gen-symbols. * Support allow-cbmc-verification-failure
carolynzech pushed a commit to carolynzech/rust that referenced this pull request Jun 13, 2025
When preparing a merge subtree PR, try to patch the VeriFast proofs. Also tweaks `patch-verifast-proofs.sh` to ensure that no temporary files are left behind inside the working directory, even when the script fails mid-way. Note: I did not test this. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Michael Tautschnig <mt@debian.org>
carolynzech pushed a commit to carolynzech/rust that referenced this pull request Jun 13, 2025
PR rust-lang#371 introduced invalid bash syntax ("line 51: syntax error near unexpected token `fi'"). By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
noscripter pushed a commit to noscripter/rust that referenced this pull request Sep 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.
This depends on llvm's 131294.