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

Try out Bors #185

Merged
merged 2 commits into from Nov 5, 2018

Conversation

Projects
None yet
1 participant
@maleadt
Copy link
Member

maleadt commented Nov 5, 2018

As Bors mirrors commits on the repo itself, this should make it possible to build changes from forks.

@maleadt maleadt force-pushed the tb/bors branch from 6a2e227 to 745d4f9 Nov 5, 2018

@maleadt

This comment has been minimized.

Copy link
Member

maleadt commented Nov 5, 2018

bors try

bors bot added a commit that referenced this pull request Nov 5, 2018

@maleadt maleadt force-pushed the tb/bors branch from b008e51 to cbc22e9 Nov 5, 2018

@maleadt

This comment has been minimized.

Copy link
Member

maleadt commented Nov 5, 2018

bors r+

bors bot added a commit that referenced this pull request Nov 5, 2018

Merge #185
185: Try out Bors r=maleadt a=maleadt

As Bors mirrors commits on the repo itself, this should make it possible to build changes from forks.

Co-authored-by: Tim Besard <tim.besard@gmail.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Nov 5, 2018

Build succeeded

@bors bors bot merged commit cbc22e9 into master Nov 5, 2018

1 check passed

bors Build succeeded
Details

@maleadt maleadt deleted the tb/bors branch Nov 5, 2018

@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Nov 5, 2018

try

Timed out

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment