Skip to content

/ webxr

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 nightly CI. #122

Closed
wants to merge 1 commit into from
Closed

Fix nightly CI. #122

wants to merge 1 commit into from
+1 −1

Conversation

@jdm
Copy link
Member

jdm commented Jan 21, 2020

No description provided.

@jdm
Fix nightly 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…
fde8bcf
@Manishearth
Copy link
Member

Manishearth commented Jan 21, 2020

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

bors-servo commented Jan 21, 2020

📌 Commit fde8bcf has been approved by Manishearth
bors-servo added a commit that referenced this pull request Jan 21, 2020
@bors-servo
Auto merge of #122 - servo:jdm-patch-6, 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…
5a1ac09 
Fix nightly CI.
@bors-servo
Copy link
Contributor

bors-servo commented Jan 21, 2020

⌛ Testing commit fde8bcf with merge 5a1ac09...
@bors-servo
Copy link
Contributor

bors-servo commented Jan 21, 2020

💔 Test failed - checks-travis
@Manishearth
Copy link
Member

Manishearth commented Jan 21, 2020

Filed rust-lang/rust#68428

Let's just bump it to something like 2020-01-01 until that gets fixed.
@Manishearth Manishearth mentioned this pull request Jan 21, 2020
Merged
bors-servo added a commit that referenced this pull request Jan 21, 2020
@bors-servo
Auto merge of #123 - Manishearth:nightlyup, 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…
8e59732 
Update pinned nightly

We need this until we can land #122

r? @asajeffrey @jdm
@bors-servo
Copy link
Contributor

bors-servo commented Jan 21, 2020

☔ The latest upstream changes (presumably #123) made this pull request unmergeable. Please resolve the merge conflicts.
@Manishearth
Copy link
Member

Manishearth commented Jan 29, 2020

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

bors-servo commented Jan 29, 2020

💡 This pull request was already approved, no need to approve it again.

  • This pull request previously failed. You should add more commits to fix the bug, or use retry to trigger a build again.
@bors-servo
Copy link
Contributor

bors-servo commented Jan 29, 2020

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

bors-servo commented Jan 29, 2020

🔒 Merge conflict
@Manishearth Manishearth mentioned this pull request Jan 29, 2020
Closed
@jdm
Copy link
Member Author

jdm commented Jan 31, 2020

#126
@jdm jdm closed this Jan 31, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

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