Skip to content
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

chore(bors) Connect Bors to Github Actions #101

Merged
merged 4 commits into from Dec 18, 2019
Merged

Conversation

@Hywan
Copy link
Member

Hywan commented Dec 16, 2019

No description provided.

@Hywan Hywan self-assigned this Dec 16, 2019
@Hywan Hywan added this to 🌱 In progress in Kanban via automation Dec 16, 2019
@Hywan

This comment has been minimized.

Copy link
Member Author

Hywan commented Dec 16, 2019

bors r+

bors bot added a commit that referenced this pull request Dec 16, 2019
Merge #101
101: chore(bors) Connect Bors to Github Actions r=Hywan a=Hywan



Co-authored-by: Ivan Enderlin <ivan.enderlin@hoa-project.net>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Dec 16, 2019

Canceled

@Hywan

This comment has been minimized.

Copy link
Member Author

Hywan commented Dec 16, 2019

bors r+

bors bot added a commit that referenced this pull request Dec 16, 2019
Merge #101
101: chore(bors) Connect Bors to Github Actions r=Hywan a=Hywan



Co-authored-by: Ivan Enderlin <ivan.enderlin@hoa-project.net>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Dec 16, 2019

Canceled

@Hywan

This comment has been minimized.

Copy link
Member Author

Hywan commented Dec 16, 2019

bors r+

@Hywan

This comment has been minimized.

Copy link
Member Author

Hywan commented Dec 16, 2019

bors r+

@Hywan

This comment has been minimized.

Copy link
Member Author

Hywan commented Dec 16, 2019

@Hywan Hywan merged commit 6e6f62f into wasmerio:master Dec 18, 2019
1 check was pending
1 check was pending
bors Waiting in queue
Details
Kanban automation moved this from 🌱 In progress to 🎉 Done Dec 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Kanban
  
🎉 Done
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
You can’t perform that action at this time.