Skip to content

Always use the latest ctest #1253

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

Merged
merged 1 commit into from
Feb 13, 2019
Merged

Always use the latest ctest #1253

merged 1 commit into from
Feb 13, 2019

Conversation

gnzlbg
Copy link
Contributor

@gnzlbg gnzlbg commented Feb 12, 2019

No description provided.

@rust-highfive
Copy link

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 12, 2019

hmm, it appears that high-five still has you as a reviewer

@alexcrichton
Copy link
Member

Ah it just takes some time to update so it'll be there for a bit, but lgtm regardless :)

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 12, 2019

@bors: r+

@bors
Copy link
Contributor

bors commented Feb 12, 2019

📌 Commit 4bdf042 has been approved by gnzlbg

@bors
Copy link
Contributor

bors commented Feb 12, 2019

⌛ Testing commit 4bdf042 with merge 75ecc98...

bors added a commit that referenced this pull request Feb 12, 2019
@bors
Copy link
Contributor

bors commented Feb 12, 2019

☔ The latest upstream changes (presumably #1251) made this pull request unmergeable. Please resolve the merge conflicts.

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 13, 2019

@bors: retry

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 13, 2019

@bors: r+

@bors
Copy link
Contributor

bors commented Feb 13, 2019

📌 Commit c1e0a3f has been approved by gnzlbg

@bors
Copy link
Contributor

bors commented Feb 13, 2019

⌛ Testing commit c1e0a3f with merge 9b16bde...

bors added a commit that referenced this pull request Feb 13, 2019
@bors
Copy link
Contributor

bors commented Feb 13, 2019

💔 Test failed - checks-travis

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 13, 2019

@bors: r+

@bors
Copy link
Contributor

bors commented Feb 13, 2019

💡 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.
  • There's another pull request that is currently being tested, blocking this pull request: Clean up documentation generation #1254

@bors
Copy link
Contributor

bors commented Feb 13, 2019

📌 Commit c1e0a3f has been approved by gnzlbg

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 13, 2019

@bors: retry

@bors
Copy link
Contributor

bors commented Feb 13, 2019

⌛ Testing commit c1e0a3f with merge 187f4ea...

bors added a commit that referenced this pull request Feb 13, 2019
@bors
Copy link
Contributor

bors commented Feb 13, 2019

💔 Test failed - checks-travis

@gnzlbg
Copy link
Contributor Author

gnzlbg commented Feb 13, 2019

@bors: retry

bors added a commit that referenced this pull request Feb 13, 2019
@bors
Copy link
Contributor

bors commented Feb 13, 2019

⌛ Testing commit c1e0a3f with merge 6153363...

@bors
Copy link
Contributor

bors commented Feb 13, 2019

☀️ Test successful - checks-cirrus, checks-travis, status-appveyor
Approved by: gnzlbg
Pushing 6153363 to master...

@bors bors merged commit c1e0a3f into rust-lang:master Feb 13, 2019
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.

4 participants