Uh oh!
There was an error while loading. Please reload this page.
Rollup of 2 pull requests - #156451
Conversation
It was previously not visible (unless compiling docs for amdgpu, which I guess nobody does). Follow other specific intrinsics and always include them in docs.
Show intrinsics::gpu in docs It was previously not visible (unless compiling docs for amdgpu, which I guess nobody does). Follow other specific intrinsics and always include them in docs. Now looks like this: <img width="1220" height="446" alt="2026-05-11_10-51-05" src="https://github.com/user-attachments/assets/c3a98f0e-2803-4697-87a8-1cc8ff01815c" /> r? @ZuseZ4 (I hope you are fine with reviewing this, please re-assign if not :))
miri subtree update Subtree update of `miri` to rust-lang/miri@39301e9. Created using https://github.com/rust-lang/josh-sync. Out-of-schedule sync to avoid nasty surprises when isolation doesn't work (but also see rust-lang/miri#5025) r? @ghost
RalfJung
commented
May 11, 2026
@bors p=5 r+ |
RalfJung
commented
May 11, 2026
@bors r+ p=1 |
This comment has been minimized.
This comment has been minimized.
RalfJung
commented
May 11, 2026
@bors p=5 |
rust-log-analyzer
commented
May 11, 2026
The job Click to see the possible cause of the failure (guessed by this bot) |
💔 Test for e6f414e failed: CI. Failed job:
|
RalfJung
commented
May 11, 2026
@bors retry RA tests segfaulting |
This comment has been minimized.
This comment has been minimized.
💔 Test for c317a4b failed: CI. Failed jobs:
|
rust-log-analyzer
commented
May 11, 2026
The job Click to see the possible cause of the failure (guessed by this bot) |
Github is having a Day again. (Which seems to be every day now.) |
⌛ Testing commit 876f323 with merge cf05b7e... Workflow: https://github.com/rust-lang/rust/actions/runs/25683249569 |
RalfJung
commented
May 11, 2026
We've had a lot of jobs fail due to not being able to connect to ghcr.io. |
Tree closed for PRs with priority less than 100. |
RalfJung
commented
May 11, 2026
Of course the moment I close the tree, the problem disappears. |
Tree is now open for merging. |
JonathanBrouwer
commented
May 11, 2026
Seems to be stuck |
This pull request was unapproved due to being closed. Auto build was cancelled due to the PR being closed. Cancelled workflows: |
Can you then include these in your rollup? EDIT: Ah, you already did. :) |
View all comments
Successful merges:
r? @ghost
Create a similar rollup