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

Disable running windows binaries on CI. #25972

Merged
merged 1 commit into from Mar 17, 2020
Merged

Disable running windows binaries on CI. #25972

merged 1 commit into from Mar 17, 2020

Conversation

@jdm
Copy link
Member

jdm commented Mar 17, 2020

In order to get more information out of #25745, we're going to temporarily disable the parts of windows CI that don't agree with the updated windows server environment.
@jdm
Disable running windows binaries on CI.
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…
ecdbea5
@jdm
Copy link
Member Author

jdm commented Mar 17, 2020

@bors-servo try=windows
@bors-servo
Copy link
Contributor

bors-servo commented Mar 17, 2020

⌛ Trying commit ecdbea5 with merge db2ecf3...
bors-servo added a commit that referenced this pull request Mar 17, 2020
@bors-servo
Auto merge of #25972 - servo:jdm-patch-44, r=<try>
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…
db2ecf3 
Disable running windows binaries on CI.

In order to get more information out of #25745, we're going to temporarily disable the parts of windows CI that don't agree with the updated windows server environment.
@jdm jdm mentioned this pull request Mar 17, 2020
Merged
@bors-servo
Copy link
Contributor

bors-servo commented Mar 17, 2020

☀️ Test successful - status-taskcluster
State: approved= try=True
@jdm
Copy link
Member Author

jdm commented Mar 17, 2020

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

bors-servo commented Mar 17, 2020

📌 Commit ecdbea5 has been approved by jdm
@highfive highfive assigned jdm and unassigned nox Mar 17, 2020
@bors-servo
Copy link
Contributor

bors-servo commented Mar 17, 2020

⌛ Testing commit ecdbea5 with merge f72a4f7...
bors-servo added a commit that referenced this pull request Mar 17, 2020
@bors-servo
Auto merge of #25972 - servo:jdm-patch-44, r=jdm
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…
f72a4f7 
Disable running windows binaries on CI.

In order to get more information out of #25745, we're going to temporarily disable the parts of windows CI that don't agree with the updated windows server environment.
@bors-servo
Copy link
Contributor

bors-servo commented Mar 17, 2020

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

CYBAI commented Mar 17, 2020

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

bors-servo commented Mar 17, 2020

⌛ Testing commit ecdbea5 with merge e110317...
@bors-servo
Copy link
Contributor

bors-servo commented Mar 17, 2020

☀️ Test successful - status-taskcluster
Approved by: jdm
Pushing e110317 to master...
@bors-servo bors-servo merged commit e110317 into master Mar 17, 2020
2 checks passed
2 checks passed
Community-TC (pull_request) TaskGroup: success
Details
homu Test successful
Details
@bors-servo bors-servo deleted the jdm-patch-44 branch Mar 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@jdm jdm

Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

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