Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix run button #44671

Merged
merged 1 commit into from
Sep 18, 2017
Merged

Fix run button #44671

merged 1 commit into from
Sep 18, 2017

Conversation

GuillaumeGomez
Copy link
Member

r? @QuietMisdreavus

Before:

before

After:

after

Quite urgent.

@steveklabnik
Copy link
Member

Is this the right way to fix this? How'd this bug get introduced?

@GuillaumeGomez
Copy link
Member Author

Because of a position change in the pre tags. Because of this, the run button "relative" parent became the global parent.

@steveklabnik
Copy link
Member

Gotcha, thanks.

@bors: r+

@bors
Copy link
Contributor

bors commented Sep 18, 2017

📌 Commit 90ce24a has been approved by steveklabnik

@GuillaumeGomez
Copy link
Member Author

@bors: p=1

@bors
Copy link
Contributor

bors commented Sep 18, 2017

⌛ Testing commit 90ce24a with merge c6d00f65142ebe7c56a411aa3c5dfaf9e687be4f...

@carols10cents carols10cents added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Sep 18, 2017
@alexcrichton
Copy link
Member

@bors: retry

  • prioritizing rollup with this in it

bors added a commit that referenced this pull request Sep 18, 2017
Rollup of 10 pull requests

- Successful merges: #44364, #44466, #44537, #44640, #44651, #44657, #44661, #44668, #44671, #44675
- Failed merges:
@bors
Copy link
Contributor

bors commented Sep 18, 2017

⌛ Testing commit 90ce24a with merge 0da835202813349565ca7a7f17013a96fc85759d...

@alexcrichton
Copy link
Member

@bors: retry

prioritizing rollup again

@bors
Copy link
Contributor

bors commented Sep 18, 2017

⌛ Testing commit 90ce24a with merge e856750b93231e34ec266b1c2558e4e83e43d388...

@alexcrichton
Copy link
Member

@bors: retry

  • prioritizing rollup

bors added a commit that referenced this pull request Sep 18, 2017
Rollup of 11 pull requests

- Successful merges: #44364, #44466, #44537, #44548, #44640, #44651, #44657, #44661, #44668, #44671, #44675
- Failed merges:
@GuillaumeGomez
Copy link
Member Author

Thanks @alexcrichton!

@bors
Copy link
Contributor

bors commented Sep 18, 2017

⌛ Testing commit 90ce24a with merge 0701b37...

@bors bors merged commit 90ce24a into rust-lang:master Sep 18, 2017
@GuillaumeGomez GuillaumeGomez deleted the run-button branch September 19, 2017 07:52
Manishearth added a commit to Manishearth/rust that referenced this pull request Jul 16, 2020
We need it for run buttons (rust-lang#44671), but not function defs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants