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

test(ci) Restore Bors with Github Actions #103

Merged
merged 1 commit into from Dec 18, 2019
Merged

test(ci) Restore Bors with Github Actions #103

merged 1 commit into from Dec 18, 2019

Conversation

@Hywan
Copy link
Member

Hywan commented Dec 18, 2019

We miss you, Bors.

@Hywan

This comment has been minimized.

Copy link
Member Author

Hywan commented Dec 18, 2019

bors r+

bors bot added a commit that referenced this pull request Dec 18, 2019
Merge #103
103: test(ci) Restore Bors with Github Actions r=Hywan a=Hywan

We miss you, Bors.

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

This comment has been minimized.

Copy link
Contributor

bors bot commented Dec 18, 2019

Build succeeded

  • Test (macos-latest)
  • Test (ubuntu-latest)
@bors bors bot merged commit 90c00ac into wasmerio:master Dec 18, 2019
2 checks passed
2 checks passed
greeting
Details
bors Build succeeded
Details
@Hywan Hywan added this to 🎉 Done in Kanban Jan 22, 2020
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.