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

2020: paint borders #24535

Merged
merged 1 commit into from Oct 25, 2019
Merged

2020: paint borders #24535

merged 1 commit into from Oct 25, 2019

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Oct 24, 2019

No description provided.

@SimonSapin
2020: paint borders
Loading status checks…
5eb1472
@nox
Copy link
Member

nox commented Oct 24, 2019

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

bors-servo commented Oct 24, 2019

📌 Commit 5eb1472 has been approved by nox
@highfive highfive assigned nox and unassigned jdm Oct 24, 2019
@bors-servo
Copy link
Contributor

bors-servo commented Oct 24, 2019

⌛ Testing commit 5eb1472 with merge e24519f...
bors-servo added a commit that referenced this pull request Oct 24, 2019
@bors-servo
Auto merge of #24535 - servo:doctors-without, r=nox
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…
e24519f 
2020: paint borders
@bors-servo
Copy link
Contributor

bors-servo commented Oct 24, 2019

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

jdm commented Oct 24, 2019

Sorry, mac9 is in a weird intermediate state.
@bors-servo retry
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

⌛ Testing commit 5eb1472 with merge 7c46ae3...
bors-servo added a commit that referenced this pull request Oct 25, 2019
@bors-servo
Auto merge of #24535 - servo:doctors-without, r=nox
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…
7c46ae3 
2020: paint borders
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

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

jdm commented Oct 25, 2019

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

bors-servo commented Oct 25, 2019

⌛ Testing commit 5eb1472 with merge 963831e...
bors-servo added a commit that referenced this pull request Oct 25, 2019
@bors-servo
Auto merge of #24535 - servo:doctors-without, r=nox
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…
963831e 
2020: paint borders
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

💔 Test failed - status-taskcluster
@CYBAI
Copy link
Collaborator

CYBAI commented Oct 25, 2019

@bors-servo retry

  • cygwin oom
bors-servo added a commit that referenced this pull request Oct 25, 2019
@bors-servo
Auto merge of #24535 - servo:doctors-without, r=nox
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…
3c17756 
2020: paint borders
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

⌛ Testing commit 5eb1472 with merge 3c17756...
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

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

jdm commented Oct 25, 2019 

/Users/worker/tasks/task_1572003607/repo/android-toolchains/ndk/toolchains/llvm/prebuilt/darwin-x86_64/bin/clang++: /Users/worker/tasks/task_1572003607/repo/android-toolchains/ndk/toolchains/llvm/prebuilt/darwin-x86_64/bin/clang++: cannot execute binary file

Hooray!

@bors-servo retry
bors-servo added a commit that referenced this pull request Oct 25, 2019
@bors-servo
Auto merge of #24535 - servo:doctors-without, r=nox
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…
0261c84 
2020: paint borders
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

⌛ Testing commit 5eb1472 with merge 0261c84...
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

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

jdm commented Oct 25, 2019

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

bors-servo commented Oct 25, 2019

💣 Failed to start rebuilding: Unknown error
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

⌛ Testing commit 5eb1472 with merge 60f9f7c...
bors-servo added a commit that referenced this pull request Oct 25, 2019
@bors-servo
Auto merge of #24535 - servo:doctors-without, r=nox
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…
60f9f7c 
2020: paint borders
@bors-servo
Copy link
Contributor

bors-servo commented Oct 25, 2019

☀️ Test successful - linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: nox
Pushing 60f9f7c to master...
@bors-servo bors-servo merged commit 5eb1472 into master Oct 25, 2019
2 checks passed
2 checks passed
Taskcluster (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo deleted the doctors-without branch Oct 25, 2019
@SimonSapin SimonSapin added this to Done / resolved in Layout 2020 Dec 6, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@nox nox

Labels
A-layout/2020
Projects
Layout 2020
  
Merged / resolved
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

6 participants
@SimonSapin @nox @bors-servo @jdm @CYBAI @highfive
You can’t perform that action at this time.