Implement buffer-growing send #46
Comments
|
Shifted to rustc. Don't care about the rustboot one; not required for bootstrapping. |
|
Obsolete operator, will be done in a library now if ever. |
ghost
mentioned this issue
oli-obk
pushed a commit
to oli-obk/rust
that referenced
this issue
Jul 19, 2017
rustup to rustc 1.13.0-nightly (91f057d 2016-09-04)
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
Add NI_MAXHOST
kazcw
pushed a commit
to kazcw/rust
that referenced
this issue
Oct 23, 2018
Always test intrinsics unconditionally
rchaser53
pushed a commit
to rchaser53/rust
that referenced
this issue
Jan 19, 2019
Explain how to dump HIR
RalfJung
pushed a commit
to RalfJung/rust
that referenced
this issue
Dec 5, 2019
add ExitStatusExt into prelude
eddyb
pushed a commit
to eddyb/rust
that referenced
this issue
Jun 30, 2020
jaisnan
added a commit
to jaisnan/rust-dev
that referenced
this issue
Aug 16, 2024
The CI job for subtree update timesout because it takes more than 6hrs. While we figure out how to solve that problem, this process makes sure there's an automated way for anyone to update the repo's subtree hosted library, with a one click script/command. The structure of this process follows the (would-be) CI workflow closely i.e 1. Call `scripts/run_update_with_checks.sh` 2. This script in turn calls the other scripts in order 3. Pull and update local `subtree/library` with updates from [rust-lang](https://github.com/rust-lang/rust) 4. Merge `subtree/library` onto local `SYNC-{DATE}` where {DATE} is the date tracked by Kani's `features/verify-rust-std` branch. 5. Update toolchain to the date tracked by kani's `features/verify-rust-std` branch and commit. 6. Test this branch with `check_rustc` which checks for compilation compatibility of the updated library and `check_kani` which checks that Kani's injected harnesses verify as expected. ## Call-out This currently only automates the process of updating the subtree and running all checks on it. After that, the process of issuing a PR from the SYNC-DATE branch of the local repo is still in the responsibility of the dev running the script. There is ongoing work to automate the process of writing/pushing branches as well. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The
<+operator doesn't even parse yet, much less function.The text was updated successfully, but these errors were encountered: