Skip to content

Update lazy_static. - #66

Merged
bors-servo merged 1 commit into
masterfrom
lazy_static
May 4, 2016
Merged

bors-servo merged 1 commit into
masterfrom
lazy_static

Conversation

@Ms2ger

@Ms2ger Ms2ger commented Apr 14, 2016

Copy link
Copy Markdown
Contributor

No description provided.

@mbrubeck

mbrubeck commented May 3, 2016

Copy link
Copy Markdown

@bors-servo r+

@bors-servo

Copy link
Copy Markdown
Contributor

📌 Commit 0e6bd17 has been approved by mbrubeck

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit 0e6bd17 with merge 8ffcd62...

bors-servo pushed a commit that referenced this pull request May 3, 2016
@bors-servo

Copy link
Copy Markdown
Contributor

💔 Test failed - travis

@mbrubeck

mbrubeck commented May 3, 2016

Copy link
Copy Markdown

Build is broken by changes in Rust nightly. See #68 (comment)

@Ms2ger

Ms2ger commented May 4, 2016

Copy link
Copy Markdown
Contributor Author

@bors-servo retry

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit 0e6bd17 with merge a7609b2...

bors-servo pushed a commit that referenced this pull request May 4, 2016
@bors-servo

Copy link
Copy Markdown
Contributor

💔 Test failed - travis

@Ms2ger

Ms2ger commented May 4, 2016

Copy link
Copy Markdown
Contributor Author

@bors-servo r+

@bors-servo

Copy link
Copy Markdown
Contributor

💡 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
Copy Markdown
Contributor

📌 Commit 0e6bd17 has been approved by Ms2ger

@Ms2ger

Ms2ger commented May 4, 2016

Copy link
Copy Markdown
Contributor Author

@bors-servo r=mbrubeck retry

@bors-servo

Copy link
Copy Markdown
Contributor

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

@bors-servo

Copy link
Copy Markdown
Contributor

📌 Commit 0e6bd17 has been approved by mbrubeck

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit 0e6bd17 with merge 10bed82...

bors-servo pushed a commit that referenced this pull request May 4, 2016
@bors-servo

Copy link
Copy Markdown
Contributor

☀️ Test successful - travis

@bors-servo
bors-servo merged commit 0e6bd17 into master May 4, 2016
@Ms2ger
Ms2ger deleted the lazy_static branch May 13, 2016 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants