Skip to content

Add rustdoc GUI test for headers - #88005

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:headers-gui-tests
Aug 13, 2021
Merged

Add rustdoc GUI test for headers#88005
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:headers-gui-tests

Conversation

@GuillaumeGomez

Copy link
Copy Markdown
Member

Add test for #87861.

r? @notriddle

@GuillaumeGomezGuillaumeGomez added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Aug 13, 2021
@GuillaumeGomez

Copy link
Copy Markdown
MemberAuthor

@bors: r=notriddle

@bors

bors commented Aug 13, 2021

Copy link
Copy Markdown
Collaborator

📌 Commit a3d3df4 has been approved by notriddle

@borsbors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Aug 13, 2021
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Aug 13, 2021
…=notriddle
Add rustdoc GUI test for headers
Add test for rust-lang#87861.
r? `@notriddle`
This was referenced Aug 13, 2021
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 13, 2021
…laumeGomez
Rollup of 4 pull requests
Successful merges:
- rust-lang#87795 (Avoid ICE caused by suggestion)
- rust-lang#87966 (Fix `command-create-pidfd` test inside unprivileged Docker containers)
- rust-lang#87969 (Revert "Rollup merge of rust-lang#87779 - Aaron1011:stmt-ast-id, r=petrochenkov")
- rust-lang#88005 (Add rustdoc GUI test for headers)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
@bors
bors merged commit f382d23 into rust-lang:masterAug 13, 2021
@rustbotrustbot added this to the 1.56.0 milestone Aug 13, 2021
@GuillaumeGomez
GuillaumeGomez deleted the headers-gui-tests branch August 13, 2021 18:26
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-rustdocRelevant to the rustdoc team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@GuillaumeGomez@bors@notriddle@rustbot