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

Add `.servobuild` configuration for the choice of media stack #27183

Merged
merged 1 commit into from Jul 6, 2020
Merged

Add `.servobuild` configuration for the choice of media stack #27183

merged 1 commit into from Jul 6, 2020
+11 −5

Conversation

@SimonSapin
Copy link
Member

SimonSapin commented Jul 6, 2020

No description provided.

@SimonSapin
Add `.servobuild` configuration for the choice of media stack
Loading status checks…
1a8c5fe
@highfive
Copy link

highfive commented Jul 6, 2020

Heads up! This PR modifies the following files:
@ferjm
Copy link
Member

ferjm commented Jul 6, 2020

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

bors-servo commented Jul 6, 2020

📌 Commit 1a8c5fe has been approved by ferjm
@highfive highfive assigned ferjm and unassigned nox Jul 6, 2020
@bors-servo
Copy link
Contributor

bors-servo commented Jul 6, 2020

⌛ Testing commit 1a8c5fe with merge 7a8c812...
bors-servo added a commit that referenced this pull request Jul 6, 2020
@bors-servo
Auto merge of #27183 - servo:dummy, r=ferjm
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…
7a8c812 
Add `.servobuild` configuration for the choice of media stack
@bors-servo
Copy link
Contributor

bors-servo commented Jul 6, 2020

💔 Test failed - status-taskcluster
@SimonSapin
Copy link
Member Author

SimonSapin commented Jul 6, 2020 

error: could not remove 'setup' file: 'C:\Users\task_1594045570\.cargo\bin/rustup-init.exe'
error: caused by: Access is denied. (os error 5)

🤔
@SimonSapin
Copy link
Member Author

SimonSapin commented Jul 6, 2020

The same happen on all three Windows builds. I’ve cycled the workers, let’s see if this happens again.

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

bors-servo commented Jul 6, 2020

⌛ Testing commit 1a8c5fe with merge 1329e07...
@bors-servo
Copy link
Contributor

bors-servo commented Jul 6, 2020

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

@ferjm ferjm

Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

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