Skip to content
This repository has been archived by the owner on Mar 4, 2022. It is now read-only.

CI #6

Merged
merged 2 commits into from
Apr 23, 2018
Merged

CI #6

merged 2 commits into from
Apr 23, 2018

Conversation

mythmon
Copy link
Owner

@mythmon mythmon commented Apr 23, 2018 •
edited

  • Circle CI
  • Bors

@mythmon
Copy link
Owner Author

mythmon commented Apr 23, 2018

bors r+

bors bot added a commit that referenced this pull request Apr 23, 2018
@bors @mythmon
Merge #6
0609dd4 
6: CI r=mythmon a=mythmon

* [x] Circle CI
* [x] Bors

Co-authored-by: Mike Cooper <mythmon@gmail.com>
@bors
Copy link
Contributor

bors bot commented Apr 23, 2018

Build succeeded

@bors bors bot merged commit 4964d5f into master Apr 23, 2018
@mythmon mythmon deleted the ci branch August 27, 2019 00:19
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@mythmon