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

Fixup for release #2

Merged
merged 17 commits into from Nov 8, 2018
Merged

Fixup for release #2

merged 17 commits into from Nov 8, 2018

Conversation

cdepillabout
Copy link
Owner

@cdepillabout cdepillabout commented Nov 8, 2018

This PR adds quite a few things, including an example in the README, CI, etc.

I will merge it when CI passes, and then make an initial release to hackage.

@cdepillabout cdepillabout changed the title [WIP] Fixup for release Fixup for release Nov 8, 2018
@cdepillabout
Copy link
Owner Author

Tests are working, so I'm merging!

@cdepillabout cdepillabout merged commit 80bd865 into master Nov 8, 2018
@cdepillabout cdepillabout deleted the fixup-for-release branch November 8, 2018 03:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant