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.

Sign up for GitHub

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

Jump to bottom

add GitHub CI #277

Merged
merged 1 commit into from
Aug 23, 2019
Merged

add GitHub CI #277

merged 1 commit into from
Aug 23, 2019

Conversation

adamralph
Copy link
Owner

@adamralph adamralph commented Aug 10, 2019 •
edited
Loading

Closes #276

@adamralph adamralph mentioned this pull request Aug 17, 2019
Closed
@adamralph adamralph closed this Aug 17, 2019
@adamralph adamralph reopened this Aug 17, 2019
@adamralph adamralph force-pushed the github-ci branch 4 times, most recently from 9f5a4b6 to dedc2ae Compare August 21, 2019 08:11
@adamralph
Copy link
Owner Author

test

adamralph
adamralph commented Aug 23, 2019
View reviewed changes
Copy link
Owner Author

@adamralph adamralph left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

test

@adamralph adamralph merged commit 6e3a804 into master Aug 23, 2019
@adamralph adamralph deleted the github-ci branch August 23, 2019 07:54
@adamralph adamralph added this to the 3.0.0 milestone Aug 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.0.0
Development

Successfully merging this pull request may close these issues.

Add GitHub CI
1 participant
@adamralph