Skip to content

/ servo

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

Re-enabling devtools on UWP #25967

Merged
merged 1 commit into from Mar 16, 2020
Merged

Re-enabling devtools on UWP #25967

merged 1 commit into from Mar 16, 2020

Conversation

@paulrouget
Copy link
Contributor

paulrouget commented Mar 16, 2020

No description provided.

@paulrouget paulrouget changed the title Re-enabling devtools on UWP WIP: Re-enabling devtools on UWP Mar 16, 2020
@paulrouget
Copy link
Contributor Author

paulrouget commented Mar 16, 2020

Waiting on #25941
@paulrouget
UWP port: re-enable devtools
Loading status checks…
0039512
@paulrouget paulrouget force-pushed the paulrouget:devtoolsToast branch from d7cdb12 to 0039512 Mar 16, 2020
@paulrouget paulrouget changed the title WIP: Re-enabling devtools on UWP Re-enabling devtools on UWP Mar 16, 2020
@Manishearth
Copy link
Member

Manishearth commented Mar 16, 2020

@bors-servo r+
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

📌 Commit 0039512 has been approved by Manishearth
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

⌛ Testing commit 0039512 with merge a4615ef...
bors-servo added a commit that referenced this pull request Mar 16, 2020
@bors-servo
Auto merge of #25967 - paulrouget:devtoolsToast, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
a4615ef 
Re-enabling devtools on UWP
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member

jdm commented Mar 16, 2020

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

⌛ Testing commit 0039512 with merge 38e551f...
bors-servo added a commit that referenced this pull request Mar 16, 2020
@bors-servo
Auto merge of #25967 - paulrouget:devtoolsToast, r=Manishearth
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
38e551f 
Re-enabling devtools on UWP
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

💔 Test failed - status-taskcluster
@jdm
Copy link
Member

jdm commented Mar 16, 2020

@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

⌛ Testing commit 0039512 with merge fdc7259...
@bors-servo
Copy link
Contributor

bors-servo commented Mar 16, 2020

☀️ Test successful - status-taskcluster
Approved by: Manishearth
Pushing fdc7259 to master...
@bors-servo bors-servo merged commit fdc7259 into servo:master Mar 16, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo mentioned this pull request Mar 16, 2020
Merged
3 of 3 tasks complete
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Manishearth Manishearth

Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants
@paulrouget @Manishearth @bors-servo @jdm @highfive
You can’t perform that action at this time.