rustbot
rustbot
Reminder, once the PR becomes ready for a review, use `@rustbot ready`.
r? @Jarcho rustbot has assigned @Jarcho. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer. Use...
Reminder, once the PR becomes ready for a review, use `@rustbot ready`.
> [!IMPORTANT] > This issue is *not meant to be used for technical discussion*. There is a **Zulip [stream]** for that. > Use this issue to leave procedural comments, such...
> [!IMPORTANT] > This issue is *not meant to be used for technical discussion*. There is a **Zulip [stream]** for that. > Use this issue to leave procedural comments, such...
> [!IMPORTANT] > This issue is *not meant to be used for technical discussion*. There is a **Zulip [stream]** for that. > Use this issue to leave procedural comments, such...
Reminder, once the PR becomes ready for a review, use `@rustbot ready`.
r? @cjgillot rustbot has assigned @cjgillot. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer. Use...
:warning: **Warning** :warning: * These commits modify **submodules**.
The list of allowed third-party dependencies may have been modified! You must ensure that any new dependencies have compatible licenses before merging. cc @davidtwco, @wesleywiser